From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 26 Jan 2004 10:14:53 +0000 (+0000)
Subject: Generated ml files added.
X-Git-Tag: V_0_2_3~140
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0d0bc32d82dc8d502de68ec7c3cfffadae1b931;p=helm.git

Generated ml files added.
---

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
index 59f31a4b6..3d496b73a 100644
--- a/helm/gTopLevel/.cvsignore
+++ b/helm/gTopLevel/.cvsignore
@@ -1 +1,4 @@
 *.cm[iox] gTopLevel gTopLevel.opt styles stylesheets meta_stylesheets
+chosenTermEditor.ml
+chosenTransformer.ml
+disambiguatingParser.ml