]>
-rw-r--r-- | 515 | .cvsignore | blob | raw |
-rw-r--r-- | 5435 | .depend | blob | raw |
-rw-r--r-- | 1190 | .ocamlinit | blob | raw |
-rw-r--r-- | 195 | AUTHORS | blob | raw |
-rw-r--r-- | 917 | LICENSE | blob | raw |
-rw-r--r-- | 11149 | Makefile.in | blob | raw |
-rw-r--r-- | 2175 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 467 | closed.xml | blob | raw |
-rw-r--r-- | 3575 | configure.ac | blob | raw |
drwxr-xr-x | - | contribs | tree |
-rw-r--r-- | 3156 | coq.ma | blob | raw |
-rw-r--r-- | 2630 | core_notation.moo | blob | raw |
-rw-r--r-- | 1150 | dictionary-matita.xml | blob | raw |
drwxr-xr-x | - | dist | tree |
-rw-r--r-- | 1958 | dump_moo.ml | blob | raw |
-rw-r--r-- | 444 | gtkmathview.matita.conf.xml.in | blob | raw |
drwxr-xr-x | - | icons | tree |
drwxr-xr-x | - | library | tree |
-rw-r--r-- | 1159 | matita.conf.xml.sample.in | blob | raw |
-rw-r--r-- | 145055 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 5539 | matita.lang | blob | raw |
-rw-r--r-- | 1038 | matita.ma.templ | blob | raw |
-rw-r--r-- | 7470 | matita.ml | blob | raw |
-rw-r--r-- | 21519 | matita.txt | blob | raw |
-rw-r--r-- | 5529 | matitaDb.ml | blob | raw |
-rw-r--r-- | 1219 | matitaDb.mli | blob | raw |
-rw-r--r-- | 5676 | matitaDisambiguator.ml | blob | raw |
-rw-r--r-- | 1932 | matitaDisambiguator.mli | blob | raw |
-rw-r--r-- | 40466 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 2044 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 2481 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1023 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 15573 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 5688 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 46035 | matitaGui.ml | blob | raw |
-rw-r--r-- | 1872 | matitaGui.mli | blob | raw |
-rw-r--r-- | 4367 | matitaGuiTypes.mli | blob | raw |
-rw-r--r-- | 7312 | matitaInit.ml | blob | raw |
-rw-r--r-- | 1381 | matitaInit.mli | blob | raw |
-rw-r--r-- | 1890 | matitaLog.ml | blob | raw |
-rw-r--r-- | 1294 | matitaLog.mli | blob | raw |
-rw-r--r-- | 34612 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 2559 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 5572 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3355 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 2541 | matitaMoo.ml | blob | raw |
-rw-r--r-- | 1264 | matitaMoo.mli | blob | raw |
-rw-r--r-- | 30945 | matitaScript.ml | blob | raw |
-rw-r--r-- | 3204 | matitaScript.mli | blob | raw |
-rw-r--r-- | 11682 | matitaSync.ml | blob | raw |
-rw-r--r-- | 2050 | matitaSync.mli | blob | raw |
-rw-r--r-- | 9122 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 4125 | matitaTypes.mli | blob | raw |
-rw-r--r-- | 1390 | matitac.ml | blob | raw |
-rw-r--r-- | 6830 | matitacLib.ml | blob | raw |
-rw-r--r-- | 1372 | matitacLib.mli | blob | raw |
-rw-r--r-- | 2489 | matitaclean.ml | blob | raw |
-rw-r--r-- | 1012 | matitaclean.mli | blob | raw |
-rw-r--r-- | 8368 | matitacleanLib.ml | blob | raw |
-rw-r--r-- | 1133 | matitacleanLib.mli | blob | raw |
-rw-r--r-- | 3714 | matitadep.ml | blob | raw |
-rw-r--r-- | 1012 | matitadep.mli | blob | raw |
-rw-r--r-- | 5228 | matitamake.ml | blob | raw |
-rw-r--r-- | 9548 | matitamakeLib.ml | blob | raw |
-rw-r--r-- | 2260 | matitamakeLib.mli | blob | raw |
-rw-r--r-- | 1083 | matitatop.ml | blob | raw |
drwxr-xr-x | - | scripts | tree |
-rw-r--r-- | 567 | template_makefile.in | blob | raw |
drwxr-xr-x | - | tests | tree |