projects / helm.git / tree
| -rw-r--r-- | 392 | .cvsignore | blob | raw |
| -rw-r--r-- | 4041 | .depend | blob | raw |
| -rw-r--r-- | 1190 | .ocamlinit | blob | raw |
| -rw-r--r-- | 5158 | Makefile.in | blob | raw |
| -rw-r--r-- | 1632 | buildTimeConf.ml.in | blob | raw |
| -rw-r--r-- | 2637 | configure.ac | blob | raw |
| drwxr-xr-x | - | icons | tree |
| drwxr-xr-x | - | library | tree |
| -rw-r--r-- | 929 | 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-- | 5110 | matita.lang | blob | raw |
| -rw-r--r-- | 1043 | matita.ma.templ | blob | raw |
| -rw-r--r-- | 7140 | matita.ml | blob | raw |
| -rw-r--r-- | 11337 | 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-- | 24502 | matitaEngine.ml | blob | raw |
| -rw-r--r-- | 1599 | matitaEngine.mli | blob | raw |
| -rw-r--r-- | 1621 | matitaExcPp.ml | blob | raw |
| -rw-r--r-- | 1023 | matitaExcPp.mli | blob | raw |
| -rw-r--r-- | 10307 | matitaGtkMisc.ml | blob | raw |
| -rw-r--r-- | 4863 | matitaGtkMisc.mli | blob | raw |
| -rw-r--r-- | 24735 | 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-- | 23199 | matitaMathView.ml | blob | raw |
| -rw-r--r-- | 3328 | matitaMathView.mli | blob | raw |
| -rw-r--r-- | 6334 | matitaMisc.ml | blob | raw |
| -rw-r--r-- | 3874 | matitaMisc.mli | blob | raw |
| -rw-r--r-- | 21118 | matitaScript.ml | blob | raw |
| -rw-r--r-- | 2812 | matitaScript.mli | blob | raw |
| -rw-r--r-- | 8982 | matitaSync.ml | blob | raw |
| -rw-r--r-- | 1902 | matitaSync.mli | blob | raw |
| -rw-r--r-- | 5821 | matitaTypes.ml | blob | raw |
| -rw-r--r-- | 2987 | matitaTypes.mli | blob | raw |
| -rw-r--r-- | 1023 | matitac.ml | blob | raw |
| -rw-r--r-- | 6182 | matitacLib.ml | blob | raw |
| -rw-r--r-- | 1449 | matitacLib.mli | blob | raw |
| -rw-r--r-- | 1435 | matitaclean.ml | blob | raw |
| -rw-r--r-- | 4971 | matitacleanLib.ml | blob | raw |
| -rw-r--r-- | 1271 | matitacleanLib.mli | blob | raw |
| -rw-r--r-- | 2113 | matitadep.ml | blob | raw |
| -rw-r--r-- | 90 | matitatop.ml | blob | raw |
| drwxr-xr-x | - | scripts | tree |
| drwxr-xr-x | - | tests | tree |