]> matita.cs.unibo.it Git - helm.git/tree
aeb3d0ff8ac059b67176b307f0d45f75fdff7e60
-rw-r--r-- 392 .cvsignore
-rw-r--r-- 4041 .depend
-rw-r--r-- 1190 .ocamlinit
-rw-r--r-- 5158 Makefile.in
-rw-r--r-- 1632 buildTimeConf.ml.in
-rw-r--r-- 2637 configure.ac
drwxr-xr-x - icons
drwxr-xr-x - library
-rw-r--r-- 929 matita.conf.xml.sample
-rw-r--r-- 101058 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 5110 matita.lang
-rw-r--r-- 1043 matita.ma.templ
-rw-r--r-- 7140 matita.ml
-rw-r--r-- 11337 matita.txt
-rw-r--r-- 5518 matitaDb.ml
-rw-r--r-- 1218 matitaDb.mli
-rw-r--r-- 2364 matitaDisambiguator.ml
-rw-r--r-- 1976 matitaDisambiguator.mli
-rw-r--r-- 24502 matitaEngine.ml
-rw-r--r-- 1599 matitaEngine.mli
-rw-r--r-- 1621 matitaExcPp.ml
-rw-r--r-- 1023 matitaExcPp.mli
-rw-r--r-- 10307 matitaGtkMisc.ml
-rw-r--r-- 4863 matitaGtkMisc.mli
-rw-r--r-- 24735 matitaGui.ml
-rw-r--r-- 3933 matitaGui.mli
-rw-r--r-- 1813 matitaLog.ml
-rw-r--r-- 1251 matitaLog.mli
-rw-r--r-- 23199 matitaMathView.ml
-rw-r--r-- 3328 matitaMathView.mli
-rw-r--r-- 6334 matitaMisc.ml
-rw-r--r-- 3874 matitaMisc.mli
-rw-r--r-- 21118 matitaScript.ml
-rw-r--r-- 2812 matitaScript.mli
-rw-r--r-- 8982 matitaSync.ml
-rw-r--r-- 1902 matitaSync.mli
-rw-r--r-- 5821 matitaTypes.ml
-rw-r--r-- 2987 matitaTypes.mli
-rw-r--r-- 1023 matitac.ml
-rw-r--r-- 6182 matitacLib.ml
-rw-r--r-- 1449 matitacLib.mli
-rw-r--r-- 1435 matitaclean.ml
-rw-r--r-- 4971 matitacleanLib.ml
-rw-r--r-- 1271 matitacleanLib.mli
-rw-r--r-- 2113 matitadep.ml
-rw-r--r-- 90 matitatop.ml
drwxr-xr-x - scripts
drwxr-xr-x - tests