X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;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=0000000000000000000000000000000000000000;hp=e87fc0a9a52030f7a5dcb5e334a607ed572c22fc;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff 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 deleted file mode 100644 index e87fc0a9a..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/CHANGES +++ /dev/null @@ -1,16 +0,0 @@ -$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