]>
-rw-r--r-- | 4790 | .depend | blob | raw |
-rw-r--r-- | 2694 | .depend.opt | blob | raw |
-rw-r--r-- | 1322 | .ocamlinit | blob | raw |
-rw-r--r-- | 232 | AUTHORS | blob | raw |
-rw-r--r-- | 1502 | DA_FARE | blob | raw |
-rw-r--r-- | 916 | LICENSE | blob | raw |
-rw-r--r-- | 4470 | applyTransformation.ml | blob | raw |
-rw-r--r-- | 2299 | applyTransformation.mli | blob | raw |
drwxr-xr-x | - | broken_lib | tree |
-rw-r--r-- | 2479 | buildTimeConf.ml | blob | raw |
-rw-r--r-- | 2254 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 28862 | cicMathView.ml | blob | raw |
-rw-r--r-- | 2428 | cicMathView.mli | blob | raw |
-rw-r--r-- | 467 | closed.xml | blob | raw |
drwxr-xr-x | - | contribs | tree |
-rw-r--r-- | 1150 | dictionary-matita.xml | blob | raw |
drwxr-xr-x | - | dist | tree |
drwxr-xr-x | - | doc | tree |
-rw-r--r-- | 1367 | dune | blob | raw |
drwxr-xr-x | - | help | tree |
drwxr-xr-x | - | icons | tree |
-rw-r--r-- | 6049 | lablGraphviz.ml | blob | raw |
-rw-r--r-- | 2581 | lablGraphviz.mli | blob | raw |
drwxr-xr-x | - | legacy | tree |
drwxr-xr-x | - | lib | tree |
drwxr-xr-x | - | library | tree |
-rw-r--r-- | 4883 | matita.conf.xml | blob | raw |
-rw-r--r-- | 4759 | matita.conf.xml.in | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 7577 | matita.lang | blob | raw |
-rw-r--r-- | 1002 | matita.ma.templ | blob | raw |
-rw-r--r-- | 4562 | matita.ml | blob | raw |
-rw-r--r-- | 23774 | matita.txt | blob | raw |
-rw-r--r-- | 148603 | matita.ui | blob | raw |
-rw-r--r-- | 17896 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 2057 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 9396 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1459 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 196807 | matitaGeneratedGui.ml | blob | raw |
-rw-r--r-- | 12160 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 5088 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 52403 | matitaGui.ml | blob | raw |
-rw-r--r-- | 1103 | matitaGui.mli | blob | raw |
-rw-r--r-- | 153 | matitaGuiInit.ml | blob | raw |
-rw-r--r-- | 1558 | matitaGuiTypes.mli | blob | raw |
-rw-r--r-- | 10005 | matitaInit.ml | blob | raw |
-rw-r--r-- | 1429 | matitaInit.mli | blob | raw |
-rw-r--r-- | 26877 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 1843 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 6353 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3278 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 1184 | matitaMiscCli.ml | blob | raw |
-rw-r--r-- | 1061 | matitaMiscCli.mli | blob | raw |
-rw-r--r-- | 39261 | matitaScript.ml | blob | raw |
-rw-r--r-- | 3145 | matitaScript.mli | blob | raw |
-rw-r--r-- | 2415 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 1414 | matitaTypes.mli | blob | raw |
-rw-r--r-- | 2842 | matitac.ml | blob | raw |
-rw-r--r-- | 4213 | matitaclean.ml | blob | raw |
drwxr-xr-x | - | nlibrary | tree |
-rw-r--r-- | 112543 | predefined_virtuals.ml | blob | raw |
-rw-r--r-- | 88 | predefined_virtuals.mli | blob | raw |
drwxr-xr-x | - | projdat | tree |
drwxr-xr-x | - | re_complete | tree |
drwxr-xr-x | - | scripts | tree |
drwxr-xr-x | - | tests | tree |
-rw-r--r-- | 1537 | virtuals.ml | blob | raw |
-rw-r--r-- | 435 | virtuals.mli | blob | raw |