-$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