]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/.cvsignore
first moogle template checkin
[helm.git] / helm / gTopLevel / .cvsignore
index ea4665c4ba04ade2dd89bd6b731951bbb395a71f..6e1f5ff43f244635a3fb2dc321f18b6eaa146ee5 100644 (file)
@@ -6,3 +6,9 @@ styles stylesheets meta_stylesheets
 chosenTermEditor.ml
 chosenTransformer.ml
 disambiguatingParser.ml
+.debug_script
+autom4te.cache
+config.log
+config.status
+configure
+Makefile