]> matita.cs.unibo.it Git - helm.git/tree - helm/matita/
...
[helm.git] / helm / matita /
drwxr-xr-x   ..
-rw-r--r-- 463 .cvsignore
-rw-r--r-- 4649 .depend
-rw-r--r-- 1190 .ocamlinit
-rw-r--r-- 6627 Makefile.in
-rw-r--r-- 1778 buildTimeConf.ml.in
-rw-r--r-- 2765 configure.ac
-rw-r--r-- 4796 core_notation.ma
drwxr-xr-x - icons
drwxr-xr-x - library
-rw-r--r-- 970 matita.conf.xml.sample.in
-rw-r--r-- 135168 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 5138 matita.lang
-rw-r--r-- 1044 matita.ma.templ
-rw-r--r-- 7230 matita.ml
-rw-r--r-- 13511 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-- 29950 matitaEngine.ml
-rw-r--r-- 2042 matitaEngine.mli
-rw-r--r-- 1628 matitaExcPp.ml
-rw-r--r-- 1023 matitaExcPp.mli
-rw-r--r-- 11567 matitaGtkMisc.ml
-rw-r--r-- 5216 matitaGtkMisc.mli
-rw-r--r-- 38070 matitaGui.ml
-rw-r--r-- 4166 matitaGui.mli
-rw-r--r-- 1849 matitaLog.ml
-rw-r--r-- 1294 matitaLog.mli
-rw-r--r-- 23263 matitaMathView.ml
-rw-r--r-- 3328 matitaMathView.mli
-rw-r--r-- 6524 matitaMisc.ml
-rw-r--r-- 3983 matitaMisc.mli
-rw-r--r-- 25505 matitaScript.ml
-rw-r--r-- 2947 matitaScript.mli
-rw-r--r-- 9555 matitaSync.ml
-rw-r--r-- 1902 matitaSync.mli
-rw-r--r-- 5731 matitaTypes.ml
-rw-r--r-- 3175 matitaTypes.mli
-rw-r--r-- 1023 matitac.ml
-rw-r--r-- 7253 matitacLib.ml
-rw-r--r-- 1449 matitacLib.mli
-rw-r--r-- 2698 matitaclean.ml
-rw-r--r-- 6230 matitacleanLib.ml
-rw-r--r-- 1272 matitacleanLib.mli
-rw-r--r-- 4054 matitadep.ml
-rw-r--r-- 4841 matitamake.ml
-rw-r--r-- 9303 matitamakeLib.ml
-rw-r--r-- 2191 matitamakeLib.mli
-rw-r--r-- 90 matitatop.ml
drwxr-xr-x - scripts
-rw-r--r-- 787 template_makefile.in
drwxr-xr-x - tests