]> matita.cs.unibo.it Git - helm.git/tree - helm/matita/
shanpshot
[helm.git] / helm / matita /
drwxr-xr-x   ..
-rw-r--r-- 330 .cvsignore
-rw-r--r-- 3029 .depend
-rw-r--r-- 3431 Makefile.in
-rw-r--r-- 1515 buildTimeConf.ml.in
-rw-r--r-- 2506 configure.ac
drwxr-xr-x - icons
-rw-r--r-- 978 matita.conf.xml.sample
-rw-r--r-- 101054 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 4346 matita.lang
-rw-r--r-- 7388 matita.ml
-rw-r--r-- 8906 matita.txt
-rw-r--r-- 5138 matitaDb.ml
-rw-r--r-- 1162 matitaDb.mli
-rw-r--r-- 2364 matitaDisambiguator.ml
-rw-r--r-- 1976 matitaDisambiguator.mli
-rw-r--r-- 22398 matitaEngine.ml
-rw-r--r-- 1547 matitaEngine.mli
-rw-r--r-- 8069 matitaGtkMisc.ml
-rw-r--r-- 4915 matitaGtkMisc.mli
-rw-r--r-- 21077 matitaGui.ml
-rw-r--r-- 3892 matitaGui.mli
-rw-r--r-- 1813 matitaLog.ml
-rw-r--r-- 1251 matitaLog.mli
-rw-r--r-- 23356 matitaMathView.ml
-rw-r--r-- 3365 matitaMathView.mli
-rw-r--r-- 5726 matitaMisc.ml
-rw-r--r-- 3380 matitaMisc.mli
-rw-r--r-- 16895 matitaScript.ml
-rw-r--r-- 2364 matitaScript.mli
-rw-r--r-- 8337 matitaSync.ml
-rw-r--r-- 1547 matitaSync.mli
-rw-r--r-- 5605 matitaTypes.ml
-rw-r--r-- 3743 matitac.ml
drwxr-xr-x - scripts
drwxr-xr-x - tests
-rw-r--r-- 221 updater.ml