]>
-rw-r--r-- | 4320 | .depend | blob | raw |
-rw-r--r-- | 4320 | .depend.opt | blob | raw |
-rw-r--r-- | 1322 | .ocamlinit | blob | raw |
-rw-r--r-- | 232 | AUTHORS | blob | raw |
-rw-r--r-- | 1502 | DA_FARE | blob | raw |
-rw-r--r-- | 916 | LICENSE | blob | raw |
-rw-r--r-- | 14907 | Makefile | blob | raw |
-rw-r--r-- | 234 | admin.html | blob | raw |
-rw-r--r-- | 4324 | applyTransformation.ml | blob | raw |
-rw-r--r-- | 2318 | applyTransformation.mli | blob | raw |
-rw-r--r-- | 2218 | buildTimeConf.ml.in | blob | raw |
-rw-r--r-- | 28785 | cicMathView.ml | blob | raw |
-rw-r--r-- | 2428 | cicMathView.mli | blob | raw |
-rw-r--r-- | 467 | closed.xml | blob | raw |
drwxr-xr-x | - | contribs | tree |
-rw-r--r-- | 1150 | dictionary-matita.xml | blob | raw |
drwxr-xr-x | - | dist | tree |
drwxr-xr-x | - | doc | tree |
drwxr-xr-x | - | help | tree |
drwxr-xr-x | - | html | tree |
drwxr-xr-x | - | icons | tree |
-rw-r--r-- | 5381 | index.html | blob | raw |
-rw-r--r-- | 91669 | jquery.js | blob | raw |
-rw-r--r-- | 181 | jquery.tooltip.css | blob | raw |
-rw-r--r-- | 5301 | jquery.tooltip.min.js | blob | raw |
-rw-r--r-- | 5841 | lablGraphviz.ml | blob | raw |
-rw-r--r-- | 2581 | lablGraphviz.mli | blob | raw |
-rw-r--r-- | 2351 | layout.js | blob | raw |
drwxr-xr-x | - | legacy | tree |
drwxr-xr-x | - | lib | tree |
drwxr-xr-x | - | library | tree |
-rw-r--r-- | 384 | login.html | blob | raw |
-rw-r--r-- | 249 | logout.html | blob | raw |
-rw-r--r-- | 4815 | matita.conf.xml.in | blob | raw |
-rw-r--r-- | 151887 | matita.glade | blob | raw |
-rw-r--r-- | 2601 | matita.gtkrc | blob | raw |
-rw-r--r-- | 6327 | matita.lang | blob | raw |
-rw-r--r-- | 1002 | matita.ma.templ | blob | raw |
-rw-r--r-- | 4342 | matita.ml | blob | raw |
-rw-r--r-- | 23774 | matita.txt | blob | raw |
-rw-r--r-- | 7645 | matitaAuthentication.ml | blob | raw |
-rw-r--r-- | 2206 | matitaAuthentication.mli | blob | raw |
-rw-r--r-- | 13457 | matitaEngine.ml | blob | raw |
-rw-r--r-- | 1880 | matitaEngine.mli | blob | raw |
-rw-r--r-- | 9066 | matitaExcPp.ml | blob | raw |
-rw-r--r-- | 1459 | matitaExcPp.mli | blob | raw |
-rw-r--r-- | 11994 | matitaFilesystem.ml | blob | raw |
-rw-r--r-- | 754 | matitaFilesystem.mli | blob | raw |
-rw-r--r-- | 14920 | matitaGtkMisc.ml | blob | raw |
-rw-r--r-- | 5547 | matitaGtkMisc.mli | blob | raw |
-rw-r--r-- | 52558 | matitaGui.ml | blob | raw |
-rw-r--r-- | 1103 | matitaGui.mli | blob | raw |
-rw-r--r-- | 1522 | matitaGuiTypes.mli | blob | raw |
-rw-r--r-- | 9876 | matitaInit.ml | blob | raw |
-rw-r--r-- | 1429 | matitaInit.mli | blob | raw |
-rw-r--r-- | 26153 | matitaMathView.ml | blob | raw |
-rw-r--r-- | 1841 | matitaMathView.mli | blob | raw |
-rw-r--r-- | 6559 | matitaMisc.ml | blob | raw |
-rw-r--r-- | 3343 | matitaMisc.mli | blob | raw |
-rw-r--r-- | 40964 | matitaScript.ml | blob | raw |
-rw-r--r-- | 3145 | matitaScript.mli | blob | raw |
-rw-r--r-- | 12604 | matitaScriptLexer.ml | blob | raw |
-rw-r--r-- | 1257 | matitaScriptLexer.mli | blob | raw |
-rw-r--r-- | 2446 | matitaTypes.ml | blob | raw |
-rw-r--r-- | 1414 | matitaTypes.mli | blob | raw |
-rw-r--r-- | 2625 | matitac.ml | blob | raw |
-rw-r--r-- | 3946 | matitaclean.ml | blob | raw |
-rw-r--r-- | 1012 | matitaclean.mli | blob | raw |
-rw-r--r-- | 44631 | matitadaemon.ml | blob | raw |
-rwxr-xr-x | 130 | matitaweb | blob | raw |
-rw-r--r-- | 3999 | matitaweb.css | blob | raw |
-rw-r--r-- | 45746 | matitaweb.js | blob | raw |
-rw-r--r-- | 3083 | netplex.conf | blob | raw |
drwxr-xr-x | - | nlibrary | tree |
-rw-r--r-- | 110692 | predefined_virtuals.ml | blob | raw |
-rw-r--r-- | 88 | predefined_virtuals.mli | blob | raw |
-rw-r--r-- | 390 | register.html | blob | raw |
drwxr-xr-x | - | scripts | tree |
drwxr-xr-x | - | tests | tree |
drwxr-xr-x | - | treeview | tree |
-rw-r--r-- | 148740 | utf8MacroTable.js | blob | raw |
-rw-r--r-- | 1536 | virtuals.ml | blob | raw |
-rw-r--r-- | 435 | virtuals.mli | blob | raw |
-rw-r--r-- | 1916 | webdb_convert.ml | blob | raw |
-rwxr-xr-x | 80 | webdb_convert.sh | blob | raw |