4 * suppressed treew.ml; replaced by ti*.ml
6 * less known bugs (Hubert)
8 * re-objectified property.ml
9 * split it into common.mli/property.ml/propwin.ml
11 * restructure menu code in main.ml
14 * simplified property.ml, and corrected treew.ml accordingly.
15 undo is temporarily disabled.