projects / helm.git / tree
| -rw-r--r-- | 4005 | .depend | blob | raw |
| -rw-r--r-- | 1322 | .ocamlinit | blob | raw |
| -rw-r--r-- | 232 | AUTHORS | blob | raw |
| -rw-r--r-- | 916 | LICENSE | blob | raw |
| -rw-r--r-- | 11405 | Makefile | blob | raw |
| -rw-r--r-- | 3601 | applyTransformation.ml | blob | raw |
| -rw-r--r-- | 3118 | applyTransformation.mli | blob | raw |
| -rw-r--r-- | 2376 | buildTimeConf.ml.in | blob | raw |
| -rw-r--r-- | 2262 | buildTimeConf.mli | blob | raw |
| -rw-r--r-- | 467 | closed.xml | blob | raw |
| drwxr-xr-x | - | contribs | tree |
| -rw-r--r-- | 2818 | core_notation.moo | blob | raw |
| drwxr-xr-x | - | dama | tree |
| -rwxr-xr-x | 713 | dep2dot.rb | blob | raw |
| -rw-r--r-- | 1150 | dictionary-matita.xml | blob | raw |
| drwxr-xr-x | - | dist | tree |
| -rw-r--r-- | 1930 | dump_moo.ml | blob | raw |
| -rw-r--r-- | 2279 | gragrep.ml | blob | raw |
| -rw-r--r-- | 1012 | gragrep.mli | blob | raw |
| -rw-r--r-- | 758 | gtkmathview.matita.conf.xml.in | blob | raw |
| drwxr-xr-x | - | help | tree |
| drwxr-xr-x | - | icons | tree |
| -rw-r--r-- | 4604 | lablGraphviz.ml | blob | raw |
| -rw-r--r-- | 2581 | lablGraphviz.mli | blob | raw |
| drwxr-xr-x | - | library | tree |
| -rw-r--r-- | 3049 | matita.conf.xml.in | blob | raw |
| -rw-r--r-- | 178647 | matita.glade | blob | raw |
| -rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
| -rw-r--r-- | 6669 | matita.lang | blob | raw |
| -rw-r--r-- | 1038 | matita.ma.templ | blob | raw |
| -rw-r--r-- | 11346 | matita.ml | blob | raw |
| -rw-r--r-- | 23774 | matita.txt | blob | raw |
| -rw-r--r-- | 5300 | matitaEngine.ml | blob | raw |
| -rw-r--r-- | 2277 | matitaEngine.mli | blob | raw |
| -rw-r--r-- | 4521 | matitaExcPp.ml | blob | raw |
| -rw-r--r-- | 1048 | matitaExcPp.mli | blob | raw |
| -rw-r--r-- | 14360 | matitaGtkMisc.ml | blob | raw |
| -rw-r--r-- | 5535 | matitaGtkMisc.mli | blob | raw |
| -rw-r--r-- | 68247 | matitaGui.ml | blob | raw |
| -rw-r--r-- | 1874 | matitaGui.mli | blob | raw |
| -rw-r--r-- | 4795 | matitaGuiTypes.mli | blob | raw |
| -rw-r--r-- | 11169 | matitaInit.ml | blob | raw |
| -rw-r--r-- | 1523 | matitaInit.mli | blob | raw |
| -rw-r--r-- | 48297 | matitaMathView.ml | blob | raw |
| -rw-r--r-- | 2746 | matitaMathView.mli | blob | raw |
| -rw-r--r-- | 4644 | matitaMisc.ml | blob | raw |
| -rw-r--r-- | 2836 | matitaMisc.mli | blob | raw |
| -rw-r--r-- | 33216 | matitaScript.ml | blob | raw |
| -rw-r--r-- | 3408 | matitaScript.mli | blob | raw |
| -rw-r--r-- | 3161 | matitaTypes.ml | blob | raw |
| -rw-r--r-- | 1702 | matitaTypes.mli | blob | raw |
| -rw-r--r-- | 1620 | matitac.ml | blob | raw |
| -rw-r--r-- | 11811 | matitacLib.ml | blob | raw |
| -rw-r--r-- | 1372 | matitacLib.mli | blob | raw |
| -rw-r--r-- | 3476 | matitaclean.ml | blob | raw |
| -rw-r--r-- | 1012 | matitaclean.mli | blob | raw |
| -rw-r--r-- | 6583 | matitadep.ml | blob | raw |
| -rw-r--r-- | 1012 | matitadep.mli | blob | raw |
| -rw-r--r-- | 4025 | matitamake.ml | blob | raw |
| -rw-r--r-- | 1013 | matitamake.mli | blob | raw |
| -rw-r--r-- | 11802 | matitamakeLib.ml | blob | raw |
| -rw-r--r-- | 2638 | matitamakeLib.mli | blob | raw |
| -rw-r--r-- | 4188 | matitaprover.ml | blob | raw |
| -rw-r--r-- | 1095 | matitaprover.mli | blob | raw |
| -rw-r--r-- | 1095 | matitatop.ml | blob | raw |
| drwxr-xr-x | - | scripts | tree |
| -rw-r--r-- | 767 | template_makefile.in | blob | raw |
| -rw-r--r-- | 1090 | template_makefile_devel.in | blob | raw |
| drwxr-xr-x | - | tests | tree |