]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/
Transformation back and forth between old and new representation
[helm.git] / helm / software / matita /
drwxr-xr-x   ..
-rw-r--r-- 3861 .depend
-rw-r--r-- 3861 .depend.opt
-rw-r--r-- 1322 .ocamlinit
-rw-r--r-- 232 AUTHORS
-rw-r--r-- 916 LICENSE
-rw-r--r-- 11590 Makefile
-rw-r--r-- 8654 applyTransformation.ml
-rw-r--r-- 3732 applyTransformation.mli
-rw-r--r-- 2205 buildTimeConf.ml.in
-rw-r--r-- 467 closed.xml
drwxr-xr-x - contribs
-rw-r--r-- 2817 core_notation.moo
drwxr-xr-x - dama
drwxr-xr-x - dama_didactic
-rw-r--r-- 1150 dictionary-matita.xml
drwxr-xr-x - dist
drwxr-xr-x - doc
-rw-r--r-- 1930 dump_moo.ml
-rw-r--r-- 758 gtkmathview.matita.conf.xml.in
drwxr-xr-x - help
drwxr-xr-x - icons
-rw-r--r-- 5781 lablGraphviz.ml
-rw-r--r-- 2581 lablGraphviz.mli
drwxr-xr-x - legacy
drwxr-xr-x - library
drwxr-xr-x - library_auto
-rw-r--r-- 4655 matita.conf.xml.in
-rw-r--r-- 161002 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 6731 matita.lang
-rw-r--r-- 1002 matita.ma.templ
-rw-r--r-- 11613 matita.ml
-rw-r--r-- 23774 matita.txt
-rw-r--r-- 7468 matitaAutoGui.ml
-rw-r--r-- 1193 matitaAutoGui.mli
-rw-r--r-- 5726 matitaEngine.ml
-rw-r--r-- 2471 matitaEngine.mli
-rw-r--r-- 7630 matitaExcPp.ml
-rw-r--r-- 1499 matitaExcPp.mli
-rw-r--r-- 14360 matitaGtkMisc.ml
-rw-r--r-- 5534 matitaGtkMisc.mli
-rw-r--r-- 58983 matitaGui.ml
-rw-r--r-- 1943 matitaGui.mli
-rw-r--r-- 4613 matitaGuiTypes.mli
-rw-r--r-- 11870 matitaInit.ml
-rw-r--r-- 1429 matitaInit.mli
-rw-r--r-- 48033 matitaMathView.ml
-rw-r--r-- 2746 matitaMathView.mli
-rw-r--r-- 4650 matitaMisc.ml
-rw-r--r-- 2836 matitaMisc.mli
-rw-r--r-- 42845 matitaScript.ml
-rw-r--r-- 3495 matitaScript.mli
-rw-r--r-- 3098 matitaTypes.ml
-rw-r--r-- 1675 matitaTypes.mli
-rw-r--r-- 9079 matitaWiki.ml
-rw-r--r-- 2920 matitac.ml
-rw-r--r-- 11268 matitacLib.ml
-rw-r--r-- 1178 matitacLib.mli
-rw-r--r-- 3912 matitaclean.ml
-rw-r--r-- 1012 matitaclean.mli
-rw-r--r-- 6010 matitadep.ml
-rw-r--r-- 1012 matitadep.mli
drwxr-xr-x - scripts
drwxr-xr-x - tests