]>
-rw-r--r-- | 314 | .cvsignore | blob | raw |
-rw-r--r-- | 2918 | .depend | blob | raw |
-rw-r--r-- | 2811 | Makefile.in | blob | raw |
-rw-r--r-- | 1295 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 2474 | configure.ac | blob | raw |
drwxr-xr-x | - | icons | tree |
-rw-r--r-- | 884 | matita.conf.xml | blob | raw |
-rw-r--r-- | 101460 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 5768 | matita.ml | blob | raw |
-rw-r--r-- | 7030 | matita.txt | blob | raw |
-rw-r--r-- | 5036 | 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-- | 18937 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 1417 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 5933 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 3820 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 16857 | matitaGui.ml | blob | raw |
-rw-r--r-- | 3380 | matitaGui.mli | blob | raw |
-rw-r--r-- | 1548 | matitaLog.ml | blob | raw |
-rw-r--r-- | 1251 | matitaLog.mli | blob | raw |
-rw-r--r-- | 18241 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 3039 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 5382 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3230 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 11943 | matitaScript.ml | blob | raw |
-rw-r--r-- | 2301 | matitaScript.mli | blob | raw |
-rw-r--r-- | 8623 | matitaSync.ml | blob | raw |
-rw-r--r-- | 1925 | matitaSync.mli | blob | raw |
-rw-r--r-- | 4801 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 2684 | matitac.ml | blob | raw |
drwxr-xr-x | - | tests | tree |