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