matita.cs.unibo.it Git - helm.git/tree

drwxr-xr-x		..
-rw-r--r--	314	.cvsignore	blob \| history \| raw
-rw-r--r--	3029	.depend	blob \| history \| raw
-rw-r--r--	3302	Makefile.in	blob \| history \| raw
-rw-r--r--	1528	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2481	configure.ac	blob \| history \| raw
drwxr-xr-x	-	icons	tree \| history
-rw-r--r--	939	matita.conf.xml	blob \| history \| raw
-rw-r--r--	932	matita.conf.xml.sample	blob \| history \| raw
-rw-r--r--	99486	matita.glade	blob \| history \| raw
-rw-r--r--	2601	matita.gtkrc	blob \| history \| raw
-rw-r--r--	4312	matita.lang	blob \| history \| raw
-rw-r--r--	6731	matita.ml	blob \| history \| raw
-rw-r--r--	8906	matita.txt	blob \| history \| raw
-rw-r--r--	5138	matitaDb.ml	blob \| history \| raw
-rw-r--r--	1162	matitaDb.mli	blob \| history \| raw
-rw-r--r--	2348	matitaDisambiguator.ml	blob \| history \| raw
-rw-r--r--	1962	matitaDisambiguator.mli	blob \| history \| raw
-rw-r--r--	23447	matitaEngine.ml	blob \| history \| raw
-rw-r--r--	1547	matitaEngine.mli	blob \| history \| raw
-rw-r--r--	8069	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	4915	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	20878	matitaGui.ml	blob \| history \| raw
-rw-r--r--	3753	matitaGui.mli	blob \| history \| raw
-rw-r--r--	1813	matitaLog.ml	blob \| history \| raw
-rw-r--r--	1251	matitaLog.mli	blob \| history \| raw
-rw-r--r--	22569	matitaMathView.ml	blob \| history \| raw
-rw-r--r--	3118	matitaMathView.mli	blob \| history \| raw
-rw-r--r--	5726	matitaMisc.ml	blob \| history \| raw
-rw-r--r--	3380	matitaMisc.mli	blob \| history \| raw
-rw-r--r--	16846	matitaScript.ml	blob \| history \| raw
-rw-r--r--	2348	matitaScript.mli	blob \| history \| raw
-rw-r--r--	9127	matitaSync.ml	blob \| history \| raw
-rw-r--r--	1890	matitaSync.mli	blob \| history \| raw
-rw-r--r--	5547	matitaTypes.ml	blob \| history \| raw
-rw-r--r--	3745	matitac.ml	blob \| history \| raw
drwxr-xr-x	-	tests	tree \| history