]>
-rw-r--r-- | 463 | .cvsignore | blob | raw |
-rw-r--r-- | 4649 | .depend | blob | raw |
-rw-r--r-- | 1190 | .ocamlinit | blob | raw |
-rw-r--r-- | 6718 | Makefile.in | blob | raw |
-rw-r--r-- | 1778 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 2765 | configure.ac | blob | raw |
-rw-r--r-- | 4810 | core_notation.ma | blob | raw |
drwxr-xr-x | - | icons | tree |
drwxr-xr-x | - | library | tree |
-rw-r--r-- | 970 | matita.conf.xml.sample.in | blob | raw |
-rw-r--r-- | 136902 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 5138 | matita.lang | blob | raw |
-rw-r--r-- | 1044 | matita.ma.templ | blob | raw |
-rw-r--r-- | 7236 | matita.ml | blob | raw |
-rw-r--r-- | 13511 | matita.txt | blob | raw |
-rw-r--r-- | 5518 | matitaDb.ml | blob | raw |
-rw-r--r-- | 1218 | matitaDb.mli | blob | raw |
-rw-r--r-- | 2364 | matitaDisambiguator.ml | blob | raw |
-rw-r--r-- | 1976 | matitaDisambiguator.mli | blob | raw |
-rw-r--r-- | 29950 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 2042 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 1754 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1023 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 11567 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 5216 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 38308 | matitaGui.ml | blob | raw |
-rw-r--r-- | 4166 | matitaGui.mli | blob | raw |
-rw-r--r-- | 1849 | matitaLog.ml | blob | raw |
-rw-r--r-- | 1294 | matitaLog.mli | blob | raw |
-rw-r--r-- | 23480 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 3328 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 6524 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3983 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 25579 | matitaScript.ml | blob | raw |
-rw-r--r-- | 2947 | matitaScript.mli | blob | raw |
-rw-r--r-- | 9663 | matitaSync.ml | blob | raw |
-rw-r--r-- | 1902 | matitaSync.mli | blob | raw |
-rw-r--r-- | 5731 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 3175 | matitaTypes.mli | blob | raw |
-rw-r--r-- | 1023 | matitac.ml | blob | raw |
-rw-r--r-- | 7253 | matitacLib.ml | blob | raw |
-rw-r--r-- | 1449 | matitacLib.mli | blob | raw |
-rw-r--r-- | 2698 | matitaclean.ml | blob | raw |
-rw-r--r-- | 6230 | matitacleanLib.ml | blob | raw |
-rw-r--r-- | 1272 | matitacleanLib.mli | blob | raw |
-rw-r--r-- | 4054 | matitadep.ml | blob | raw |
-rw-r--r-- | 4841 | matitamake.ml | blob | raw |
-rw-r--r-- | 9220 | matitamakeLib.ml | blob | raw |
-rw-r--r-- | 2191 | matitamakeLib.mli | blob | raw |
-rw-r--r-- | 90 | matitatop.ml | blob | raw |
drwxr-xr-x | - | scripts | tree |
-rw-r--r-- | 787 | template_makefile.in | blob | raw |
drwxr-xr-x | - | tests | tree |