]> matita.cs.unibo.it Git - helm.git/tree
04b630f091df4840d59a2e4adc22e26b8a45bc11
-rw-r--r-- 4005 .depend
-rw-r--r-- 1322 .ocamlinit
-rw-r--r-- 232 AUTHORS
-rw-r--r-- 916 LICENSE
-rw-r--r-- 11405 Makefile
-rw-r--r-- 3601 applyTransformation.ml
-rw-r--r-- 3118 applyTransformation.mli
-rw-r--r-- 2376 buildTimeConf.ml.in
-rw-r--r-- 2262 buildTimeConf.mli
-rw-r--r-- 467 closed.xml
drwxr-xr-x - contribs
-rw-r--r-- 2818 core_notation.moo
drwxr-xr-x - dama
-rwxr-xr-x 713 dep2dot.rb
-rw-r--r-- 1150 dictionary-matita.xml
drwxr-xr-x - dist
-rw-r--r-- 1930 dump_moo.ml
-rw-r--r-- 2279 gragrep.ml
-rw-r--r-- 1012 gragrep.mli
-rw-r--r-- 758 gtkmathview.matita.conf.xml.in
drwxr-xr-x - help
drwxr-xr-x - icons
-rw-r--r-- 4604 lablGraphviz.ml
-rw-r--r-- 2581 lablGraphviz.mli
drwxr-xr-x - library
-rw-r--r-- 3049 matita.conf.xml.in
-rw-r--r-- 178647 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 6596 matita.lang
-rw-r--r-- 1038 matita.ma.templ
-rw-r--r-- 10593 matita.ml
-rw-r--r-- 23774 matita.txt
-rw-r--r-- 5300 matitaEngine.ml
-rw-r--r-- 2239 matitaEngine.mli
-rw-r--r-- 4436 matitaExcPp.ml
-rw-r--r-- 1048 matitaExcPp.mli
-rw-r--r-- 14360 matitaGtkMisc.ml
-rw-r--r-- 5535 matitaGtkMisc.mli
-rw-r--r-- 67208 matitaGui.ml
-rw-r--r-- 1874 matitaGui.mli
-rw-r--r-- 4795 matitaGuiTypes.mli
-rw-r--r-- 11169 matitaInit.ml
-rw-r--r-- 1523 matitaInit.mli
-rw-r--r-- 48085 matitaMathView.ml
-rw-r--r-- 2746 matitaMathView.mli
-rw-r--r-- 4644 matitaMisc.ml
-rw-r--r-- 2836 matitaMisc.mli
-rw-r--r-- 33162 matitaScript.ml
-rw-r--r-- 3408 matitaScript.mli
-rw-r--r-- 3025 matitaTypes.ml
-rw-r--r-- 1685 matitaTypes.mli
-rw-r--r-- 1620 matitac.ml
-rw-r--r-- 11787 matitacLib.ml
-rw-r--r-- 1372 matitacLib.mli
-rw-r--r-- 3476 matitaclean.ml
-rw-r--r-- 1012 matitaclean.mli
-rw-r--r-- 6583 matitadep.ml
-rw-r--r-- 1012 matitadep.mli
-rw-r--r-- 4025 matitamake.ml
-rw-r--r-- 1013 matitamake.mli
-rw-r--r-- 11802 matitamakeLib.ml
-rw-r--r-- 2638 matitamakeLib.mli
-rw-r--r-- 4188 matitaprover.ml
-rw-r--r-- 1095 matitaprover.mli
-rw-r--r-- 1095 matitatop.ml
drwxr-xr-x - scripts
-rw-r--r-- 767 template_makefile.in
-rw-r--r-- 1090 template_makefile_devel.in
drwxr-xr-x - tests