]>
-rw-r--r-- | 314 | .cvsignore | blob | raw |
-rw-r--r-- | 3029 | .depend | blob | raw |
-rw-r--r-- | 3302 | Makefile.in | blob | raw |
-rw-r--r-- | 1528 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 2481 | configure.ac | blob | raw |
drwxr-xr-x | - | icons | tree |
-rw-r--r-- | 932 | matita.conf.xml.sample | blob | raw |
-rw-r--r-- | 99486 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 4312 | matita.lang | blob | raw |
-rw-r--r-- | 6731 | matita.ml | blob | raw |
-rw-r--r-- | 8829 | matita.txt | blob | raw |
-rw-r--r-- | 5138 | matitaDb.ml | blob | raw |
-rw-r--r-- | 1162 | matitaDb.mli | blob | raw |
-rw-r--r-- | 2294 | matitaDisambiguator.ml | blob | raw |
-rw-r--r-- | 1962 | matitaDisambiguator.mli | blob | raw |
-rw-r--r-- | 26825 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 1505 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 8069 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 4915 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 20878 | matitaGui.ml | blob | raw |
-rw-r--r-- | 3753 | matitaGui.mli | blob | raw |
-rw-r--r-- | 1813 | matitaLog.ml | blob | raw |
-rw-r--r-- | 1251 | matitaLog.mli | blob | raw |
-rw-r--r-- | 22569 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 3118 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 5726 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3380 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 16846 | matitaScript.ml | blob | raw |
-rw-r--r-- | 2348 | matitaScript.mli | blob | raw |
-rw-r--r-- | 12123 | matitaSync.ml | blob | raw |
-rw-r--r-- | 2018 | matitaSync.mli | blob | raw |
-rw-r--r-- | 5547 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 3745 | matitac.ml | blob | raw |
drwxr-xr-x | - | tests | tree |