projects / helm.git / tree
| -rw-r--r-- | 491 | .cvsignore | blob | raw |
| -rw-r--r-- | 4890 | .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-- | 7074 | Makefile.in | blob | raw |
| -rw-r--r-- | 1908 | buildTimeConf.ml.in | blob | raw |
| -rw-r--r-- | 2817 | configure.ac | blob | raw |
| drwxr-xr-x | - | contribs | tree |
| -rw-r--r-- | 3153 | coq.moo | blob | raw |
| -rw-r--r-- | 1712 | core_notation.moo | blob | raw |
| -rw-r--r-- | 1150 | dictionary-matita.xml | blob | raw |
| -rw-r--r-- | 444 | gtkmathview.matita.conf.xml.in | blob | raw |
| drwxr-xr-x | - | icons | tree |
| drwxr-xr-x | - | library | tree |
| drwxr-xr-x | - | logo | tree |
| -rw-r--r-- | 970 | matita.conf.xml.sample.in | blob | raw |
| -rw-r--r-- | 134711 | matita.glade | blob | raw |
| -rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
| -rw-r--r-- | 5452 | matita.lang | blob | raw |
| -rw-r--r-- | 1044 | matita.ma.templ | blob | raw |
| -rw-r--r-- | 6323 | matita.ml | blob | raw |
| -rw-r--r-- | 18412 | matita.txt | blob | raw |
| -rw-r--r-- | 5518 | matitaDb.ml | blob | raw |
| -rw-r--r-- | 1218 | matitaDb.mli | blob | raw |
| -rw-r--r-- | 2451 | matitaDisambiguator.ml | blob | raw |
| -rw-r--r-- | 1976 | matitaDisambiguator.mli | blob | raw |
| -rw-r--r-- | 30651 | matitaEngine.ml | blob | raw |
| -rw-r--r-- | 2086 | 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-- | 41940 | matitaGui.ml | blob | raw |
| -rw-r--r-- | 1872 | matitaGui.mli | blob | raw |
| -rw-r--r-- | 4362 | matitaGuiTypes.mli | blob | raw |
| -rw-r--r-- | 1890 | matitaLog.ml | blob | raw |
| -rw-r--r-- | 1294 | matitaLog.mli | blob | raw |
| -rw-r--r-- | 31343 | matitaMathView.ml | blob | raw |
| -rw-r--r-- | 2559 | matitaMathView.mli | blob | raw |
| -rw-r--r-- | 9277 | matitaMisc.ml | blob | raw |
| -rw-r--r-- | 4640 | matitaMisc.mli | blob | raw |
| -rw-r--r-- | 28620 | matitaScript.ml | blob | raw |
| -rw-r--r-- | 3077 | matitaScript.mli | blob | raw |
| -rw-r--r-- | 10060 | matitaSync.ml | blob | raw |
| -rw-r--r-- | 1918 | matitaSync.mli | blob | raw |
| -rw-r--r-- | 5731 | matitaTypes.ml | blob | raw |
| -rw-r--r-- | 3175 | matitaTypes.mli | blob | raw |
| -rw-r--r-- | 1106 | matitac.ml | blob | raw |
| -rw-r--r-- | 7643 | matitacLib.ml | blob | raw |
| -rw-r--r-- | 1449 | matitacLib.mli | blob | raw |
| -rw-r--r-- | 2992 | matitaclean.ml | blob | raw |
| -rw-r--r-- | 5020 | matitacleanLib.ml | blob | raw |
| -rw-r--r-- | 1051 | matitacleanLib.mli | blob | raw |
| -rw-r--r-- | 4340 | matitadep.ml | blob | raw |
| -rw-r--r-- | 4841 | matitamake.ml | blob | raw |
| -rw-r--r-- | 9373 | matitamakeLib.ml | blob | raw |
| -rw-r--r-- | 2260 | matitamakeLib.mli | blob | raw |
| -rw-r--r-- | 1165 | matitatop.ml | blob | raw |
| drwxr-xr-x | - | scripts | tree |
| -rw-r--r-- | 413 | template_makefile.in | blob | raw |
| drwxr-xr-x | - | tests | tree |