X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fapplications%2Fradtest%2FCHANGES;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fapplications%2Fradtest%2FCHANGES;h=e87fc0a9a52030f7a5dcb5e334a607ed572c22fc;hb=7aa91a2cd4497f68ebf5b9dd85b5f2c791f738a1;hp=0000000000000000000000000000000000000000;hpb=044a71416237d8e2b575678b5f49b8c9380ca409;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/CHANGES b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/CHANGES new file mode 100644 index 000000000..e87fc0a9a --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/CHANGES @@ -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