]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/.cvsignore
matitadep.opt
matitaclean
matitaclean.opt
matitadep.opt
matitaclean
matitaclean.opt
+matitamake
+matitamake.opt
*.o
*.swp
matita.conf.xml
*.o
*.swp
matita.conf.xml
+*.moo
+matita.conf.xml.sample