]>
-rw-r--r-- | 392 | .cvsignore | blob | raw |
-rw-r--r-- | 3587 | .depend | blob | raw |
-rw-r--r-- | 1004 | .ocamlinit | blob | raw |
-rw-r--r-- | 4091 | Makefile.in | blob | raw |
-rw-r--r-- | 1515 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 2506 | configure.ac | blob | raw |
drwxr-xr-x | - | icons | tree |
-rw-r--r-- | 978 | matita.conf.xml.sample | blob | raw |
-rw-r--r-- | 101058 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 4756 | matita.lang | blob | raw |
-rw-r--r-- | 7414 | matita.ml | blob | raw |
-rw-r--r-- | 9288 | matita.txt | blob | raw |
-rw-r--r-- | 4976 | matitaDb.ml | blob | raw |
-rw-r--r-- | 1162 | matitaDb.mli | blob | raw |
-rw-r--r-- | 2364 | matitaDisambiguator.ml | blob | raw |
-rw-r--r-- | 1976 | matitaDisambiguator.mli | blob | raw |
-rw-r--r-- | 24191 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 1707 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 1389 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1023 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 10233 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 4863 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 22038 | matitaGui.ml | blob | raw |
-rw-r--r-- | 3933 | matitaGui.mli | blob | raw |
-rw-r--r-- | 1813 | matitaLog.ml | blob | raw |
-rw-r--r-- | 1251 | matitaLog.mli | blob | raw |
-rw-r--r-- | 23289 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 3365 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 6264 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3806 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 18441 | matitaScript.ml | blob | raw |
-rw-r--r-- | 2603 | matitaScript.mli | blob | raw |
-rw-r--r-- | 8491 | matitaSync.ml | blob | raw |
-rw-r--r-- | 1637 | matitaSync.mli | blob | raw |
-rw-r--r-- | 5738 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 1023 | matitac.ml | blob | raw |
-rw-r--r-- | 5089 | matitacLib.ml | blob | raw |
-rw-r--r-- | 72 | matitacLib.mli | blob | raw |
-rw-r--r-- | 3899 | matitaclean.ml | blob | raw |
-rw-r--r-- | 1744 | matitadep.ml | blob | raw |
-rw-r--r-- | 74 | matitatop.ml | blob | raw |
drwxr-xr-x | - | scripts | tree |
drwxr-xr-x | - | tests | tree |
-rw-r--r-- | 221 | updater.ml | blob | raw |