--- /dev/null
+$Id$
+
+2000.05.15
+ * suppressed treew.ml; replaced by ti*.ml
+ * new widgets
+ * less known bugs (Hubert)
+1999.10.28
+ * re-objectified property.ml
+ * split it into common.mli/property.ml/propwin.ml
+ * undo is back
+ * restructure menu code in main.ml
+
+1999.10.27
+ * simplified property.ml, and corrected treew.ml accordingly.
+ undo is temporarily disabled.
+ (Jacques)
\ No newline at end of file