]>
-rw-r--r-- | 3239 | .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-- | 10495 | Makefile.in | blob | raw |
-rw-r--r-- | 3001 | applyTransformation.ml | blob | raw |
-rw-r--r-- | 2949 | applyTransformation.mli | blob | raw |
-rw-r--r-- | 2222 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 1976 | buildTimeConf.mli | blob | raw |
-rw-r--r-- | 467 | closed.xml | blob | raw |
-rw-r--r-- | 3457 | configure.ac | blob | raw |
drwxr-xr-x | - | contribs | tree |
-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-- | 1865 | dump_moo.ml | blob | raw |
-rw-r--r-- | 453 | gtkmathview.matita.conf.xml.in | blob | raw |
drwxr-xr-x | - | icons | tree |
drwxr-xr-x | - | library | tree |
-rw-r--r-- | 1172 | matita.conf.xml.sample.in | blob | raw |
-rw-r--r-- | 145347 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 5661 | matita.lang | blob | raw |
-rw-r--r-- | 1038 | matita.ma.templ | blob | raw |
-rw-r--r-- | 7905 | matita.ml | blob | raw |
-rw-r--r-- | 22362 | matita.txt | blob | raw |
-rw-r--r-- | 4965 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 2385 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 4252 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1048 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 15447 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 5688 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 50503 | matitaGui.ml | blob | raw |
-rw-r--r-- | 1874 | matitaGui.mli | blob | raw |
-rw-r--r-- | 4838 | matitaGuiTypes.mli | blob | raw |
-rw-r--r-- | 6952 | matitaInit.ml | blob | raw |
-rw-r--r-- | 1343 | matitaInit.mli | blob | raw |
-rw-r--r-- | 40030 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 2746 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 4392 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 2767 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 30863 | matitaScript.ml | blob | raw |
-rw-r--r-- | 3357 | matitaScript.mli | blob | raw |
-rw-r--r-- | 2312 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 1558 | matitaTypes.mli | blob | raw |
-rw-r--r-- | 1408 | matitac.ml | blob | raw |
-rw-r--r-- | 8964 | matitacLib.ml | blob | raw |
-rw-r--r-- | 1372 | matitacLib.mli | blob | raw |
-rw-r--r-- | 2536 | matitaclean.ml | blob | raw |
-rw-r--r-- | 1012 | matitaclean.mli | blob | raw |
-rw-r--r-- | 3699 | matitadep.ml | blob | raw |
-rw-r--r-- | 1012 | matitadep.mli | blob | raw |
-rw-r--r-- | 5240 | matitamake.ml | blob | raw |
-rw-r--r-- | 9484 | matitamakeLib.ml | blob | raw |
-rw-r--r-- | 2260 | matitamakeLib.mli | blob | raw |
-rw-r--r-- | 1095 | matitatop.ml | blob | raw |
drwxr-xr-x | - | scripts | tree |
-rw-r--r-- | 556 | template_makefile.in | blob | raw |
drwxr-xr-x | - | tests | tree |