]>
-rw-r--r-- | 3887 | .depend | blob | raw |
-rw-r--r-- | 3855 | .depend.opt | 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-- | 11658 | Makefile | blob | raw |
-rw-r--r-- | 12778 | applyTransformation.ml | blob | raw |
-rw-r--r-- | 4125 | applyTransformation.mli | blob | raw |
-rw-r--r-- | 2205 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 467 | closed.xml | blob | raw |
drwxr-xr-x | - | contribs | tree |
-rw-r--r-- | 6721 | core_notation.moo | blob | raw |
-rw-r--r-- | 1150 | dictionary-matita.xml | blob | raw |
drwxr-xr-x | - | dist | tree |
drwxr-xr-x | - | doc | tree |
-rw-r--r-- | 1930 | dump_moo.ml | 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-- | 5781 | lablGraphviz.ml | blob | raw |
-rw-r--r-- | 2581 | lablGraphviz.mli | blob | raw |
drwxr-xr-x | - | legacy | tree |
drwxr-xr-x | - | library | tree |
-rw-r--r-- | 4655 | matita.conf.xml.in | blob | raw |
-rw-r--r-- | 158814 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 6823 | matita.lang | blob | raw |
-rw-r--r-- | 1002 | matita.ma.templ | blob | raw |
-rw-r--r-- | 11923 | matita.ml | blob | raw |
-rw-r--r-- | 23774 | matita.txt | blob | raw |
-rw-r--r-- | 8246 | matitaAutoGui.ml | blob | raw |
-rw-r--r-- | 1238 | matitaAutoGui.mli | blob | raw |
-rw-r--r-- | 5821 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 2499 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 7810 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1459 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 14642 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 5575 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 63011 | matitaGui.ml | blob | raw |
-rw-r--r-- | 1964 | matitaGui.mli | blob | raw |
-rw-r--r-- | 4628 | matitaGuiTypes.mli | blob | raw |
-rw-r--r-- | 9709 | matitaInit.ml | blob | raw |
-rw-r--r-- | 1429 | matitaInit.mli | blob | raw |
-rw-r--r-- | 51079 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 2746 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 4650 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 2836 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 42345 | matitaScript.ml | blob | raw |
-rw-r--r-- | 3495 | matitaScript.mli | blob | raw |
-rw-r--r-- | 3353 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 1727 | matitaTypes.mli | blob | raw |
-rw-r--r-- | 9079 | matitaWiki.ml | blob | raw |
-rw-r--r-- | 2937 | matitac.ml | blob | raw |
-rw-r--r-- | 14943 | matitacLib.ml | blob | raw |
-rw-r--r-- | 1059 | matitacLib.mli | blob | raw |
-rw-r--r-- | 3853 | matitaclean.ml | blob | raw |
-rw-r--r-- | 1012 | matitaclean.mli | blob | raw |
-rw-r--r-- | 7728 | matitadep.ml | blob | raw |
-rw-r--r-- | 1012 | matitadep.mli | blob | raw |
drwxr-xr-x | - | scripts | tree |
drwxr-xr-x | - | tests | tree |