]> matita.cs.unibo.it Git - helm.git/tree
29286031ae8a2371e91752d71bf6729c2408b820
-rw-r--r-- 3567 .depend
-rw-r--r-- 1190 .ocamlinit
-rw-r--r-- 195 AUTHORS
-rw-r--r-- 917 LICENSE
-rw-r--r-- 10393 Makefile
-rw-r--r-- 3560 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-- 2630 core_notation.moo
-rw-r--r-- 1150 dictionary-matita.xml
drwxr-xr-x - dist
-rw-r--r-- 1865 dump_moo.ml
-rw-r--r-- 2279 gragrep.ml
-rw-r--r-- 1012 gragrep.mli
-rw-r--r-- 453 gtkmathview.matita.conf.xml.in
drwxr-xr-x - help
drwxr-xr-x - icons
drwxr-xr-x - library
-rw-r--r-- 3054 matita.conf.xml.in
-rw-r--r-- 150567 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 5708 matita.lang
-rw-r--r-- 1038 matita.ma.templ
-rw-r--r-- 9127 matita.ml
-rw-r--r-- 23752 matita.txt
-rw-r--r-- 4762 matitaEngine.ml
-rw-r--r-- 2186 matitaEngine.mli
-rw-r--r-- 4428 matitaExcPp.ml
-rw-r--r-- 1048 matitaExcPp.mli
-rw-r--r-- 16206 matitaGtkMisc.ml
-rw-r--r-- 5937 matitaGtkMisc.mli
-rw-r--r-- 55685 matitaGui.ml
-rw-r--r-- 1874 matitaGui.mli
-rw-r--r-- 4873 matitaGuiTypes.mli
-rw-r--r-- 10875 matitaInit.ml
-rw-r--r-- 1523 matitaInit.mli
-rw-r--r-- 42181 matitaMathView.ml
-rw-r--r-- 2746 matitaMathView.mli
-rw-r--r-- 4644 matitaMisc.ml
-rw-r--r-- 2836 matitaMisc.mli
-rw-r--r-- 30526 matitaScript.ml
-rw-r--r-- 3367 matitaScript.mli
-rw-r--r-- 2312 matitaTypes.ml
-rw-r--r-- 1558 matitaTypes.mli
-rw-r--r-- 1463 matitac.ml
-rw-r--r-- 11629 matitacLib.ml
-rw-r--r-- 1372 matitacLib.mli
-rw-r--r-- 3474 matitaclean.ml
-rw-r--r-- 1012 matitaclean.mli
-rw-r--r-- 3989 matitadep.ml
-rw-r--r-- 1012 matitadep.mli
-rw-r--r-- 4025 matitamake.ml
-rw-r--r-- 1013 matitamake.mli
-rw-r--r-- 11551 matitamakeLib.ml
-rw-r--r-- 2520 matitamakeLib.mli
-rw-r--r-- 1095 matitatop.ml
drwxr-xr-x - scripts
-rw-r--r-- 640 template_makefile.in
-rw-r--r-- 890 template_makefile_devel.in
drwxr-xr-x - tests