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

drwxr-xr-x		..
-rw-r--r--	314	.cvsignore	blob \| history \| raw
-rw-r--r--	2918	.depend	blob \| history \| raw
-rw-r--r--	2868	Makefile.in	blob \| history \| raw
-rw-r--r--	1295	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2474	configure.ac	blob \| history \| raw
drwxr-xr-x	-	icons	tree \| history
-rw-r--r--	880	matita.conf.xml	blob \| history \| raw
-rw-r--r--	104803	matita.glade	blob \| history \| raw
-rw-r--r--	2601	matita.gtkrc	blob \| history \| raw
-rw-r--r--	6155	matita.ml	blob \| history \| raw
-rw-r--r--	7175	matita.txt	blob \| history \| raw
-rw-r--r--	5036	matitaDb.ml	blob \| history \| raw
-rw-r--r--	1162	matitaDb.mli	blob \| history \| raw
-rw-r--r--	2294	matitaDisambiguator.ml	blob \| history \| raw
-rw-r--r--	1962	matitaDisambiguator.mli	blob \| history \| raw
-rw-r--r--	19945	matitaEngine.ml	blob \| history \| raw
-rw-r--r--	1417	matitaEngine.mli	blob \| history \| raw
-rw-r--r--	6063	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	3989	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	17924	matitaGui.ml	blob \| history \| raw
-rw-r--r--	3573	matitaGui.mli	blob \| history \| raw
-rw-r--r--	1548	matitaLog.ml	blob \| history \| raw
-rw-r--r--	1251	matitaLog.mli	blob \| history \| raw
-rw-r--r--	22303	matitaMathView.ml	blob \| history \| raw
-rw-r--r--	3119	matitaMathView.mli	blob \| history \| raw
-rw-r--r--	5663	matitaMisc.ml	blob \| history \| raw
-rw-r--r--	3282	matitaMisc.mli	blob \| history \| raw
-rw-r--r--	14927	matitaScript.ml	blob \| history \| raw
-rw-r--r--	2348	matitaScript.mli	blob \| history \| raw
-rw-r--r--	8623	matitaSync.ml	blob \| history \| raw
-rw-r--r--	1925	matitaSync.mli	blob \| history \| raw
-rw-r--r--	5527	matitaTypes.ml	blob \| history \| raw
-rw-r--r--	2684	matitac.ml	blob \| history \| raw
drwxr-xr-x	-	tests	tree \| history