]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Make
-.depend.opt
Make*
README
examples/automath/*.aut
examples/automath/README
-coq/*.v
-coq/*.template
+scripts/coq/*.v
+scripts/coq/*.template
+scripts/lp/*.template
src/*.ml
-src/Make*
src/*/*