]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/CHANGES
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / radtest / CHANGES
1 $Id$
2
3 2000.05.15
4   * suppressed treew.ml; replaced by ti*.ml
5   * new widgets
6   * less known bugs  (Hubert)
7 1999.10.28
8   * re-objectified property.ml
9   * split it into common.mli/property.ml/propwin.ml
10   * undo is back
11   * restructure menu code in main.ml
12
13 1999.10.27
14   * simplified property.ml, and corrected treew.ml accordingly.
15     undo is temporarily disabled.
16     (Jacques)