]> matita.cs.unibo.it Git - helm.git/blobdiff - 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
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/CHANGES b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/CHANGES
new file mode 100644 (file)
index 0000000..e87fc0a
--- /dev/null
@@ -0,0 +1,16 @@
+$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