]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/
...
[helm.git] / helm / software / matita /
drwxr-xr-x   ..
-rw-r--r-- 4187 .depend
-rw-r--r-- 4169 .depend.opt
-rw-r--r-- 1322 .ocamlinit
-rw-r--r-- 232 AUTHORS
-rw-r--r-- 916 LICENSE
-rw-r--r-- 11758 Makefile
-rw-r--r-- 14942 applyTransformation.ml
-rw-r--r-- 4317 applyTransformation.mli
-rw-r--r-- 2340 buildTimeConf.ml.in
-rw-r--r-- 467 closed.xml
drwxr-xr-x - contribs
-rw-r--r-- 9039 core_notation.moo
-rw-r--r-- 1150 dictionary-matita.xml
drwxr-xr-x - dist
drwxr-xr-x - doc
-rw-r--r-- 1925 dump_moo.ml
-rw-r--r-- 758 gtkmathview.matita.conf.xml.in
drwxr-xr-x - help
drwxr-xr-x - icons
-rw-r--r-- 5841 lablGraphviz.ml
-rw-r--r-- 2581 lablGraphviz.mli
drwxr-xr-x - legacy
drwxr-xr-x - library
-rw-r--r-- 4654 matita.conf.xml.in
-rw-r--r-- 167330 matita.glade
-rw-r--r-- 2601 matita.gtkrc
-rw-r--r-- 9972 matita.lang
-rw-r--r-- 1002 matita.ma.templ
-rw-r--r-- 9316 matita.ml
-rw-r--r-- 23774 matita.txt
-rw-r--r-- 8246 matitaAutoGui.ml
-rw-r--r-- 1238 matitaAutoGui.mli
-rw-r--r-- 6466 matitaEngine.ml
-rw-r--r-- 2190 matitaEngine.mli
-rw-r--r-- 9205 matitaExcPp.ml
-rw-r--r-- 1459 matitaExcPp.mli
-rw-r--r-- 14698 matitaGtkMisc.ml
-rw-r--r-- 5575 matitaGtkMisc.mli
-rw-r--r-- 67144 matitaGui.ml
-rw-r--r-- 1964 matitaGui.mli
-rw-r--r-- 4903 matitaGuiTypes.mli
-rw-r--r-- 10405 matitaInit.ml
-rw-r--r-- 1429 matitaInit.mli
-rw-r--r-- 63226 matitaMathView.ml
-rw-r--r-- 2746 matitaMathView.mli
-rw-r--r-- 5439 matitaMisc.ml
-rw-r--r-- 2929 matitaMisc.mli
-rw-r--r-- 46036 matitaScript.ml
-rw-r--r-- 3458 matitaScript.mli
-rw-r--r-- 3786 matitaTypes.ml
-rw-r--r-- 1975 matitaTypes.mli
-rw-r--r-- 8696 matitaWiki.ml
-rw-r--r-- 2937 matitac.ml
-rw-r--r-- 14746 matitacLib.ml
-rw-r--r-- 1059 matitacLib.mli
-rw-r--r-- 3926 matitaclean.ml
-rw-r--r-- 1012 matitaclean.mli
-rw-r--r-- 8793 matitadep.ml
-rw-r--r-- 1012 matitadep.mli
drwxr-xr-x - nlibrary
-rw-r--r-- 110704 predefined_virtuals.ml
-rw-r--r-- 88 predefined_virtuals.mli
drwxr-xr-x - scripts
drwxr-xr-x - tests
-rw-r--r-- 1536 virtuals.ml
-rw-r--r-- 435 virtuals.mli