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

drwxr-xr-x		..
-rw-r--r--	119	.cvsignore	blob \| history \| raw
-rw-r--r--	956	.depend	blob \| history \| raw
-rw-r--r--	1563	Makefile.in	blob \| history \| raw
-rw-r--r--	1011	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2255	configure.ac	blob \| history \| raw
-rw-r--r--	204	matita.conf.xml.sample	blob \| history \| raw
-rw-r--r--	35086	matita.glade	blob \| history \| raw
-rw-r--r--	273	matita.gladep	blob \| history \| raw
-rw-r--r--	3052	matita.ml	blob \| history \| raw
-rw-r--r--	3161	matitaDisambiguator.ml	blob \| history \| raw
-rw-r--r--	1369	matitaDisambiguator.mli	blob \| history \| raw
-rw-r--r--	21583	matitaGeneratedGui.ml	blob \| history \| raw
-rw-r--r--	10565	matitaGeneratedGui.mli	blob \| history \| raw
-rw-r--r--	5599	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	2436	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	4242	matitaGui.ml	blob \| history \| raw
-rw-r--r--	2028	matitaGui.mli	blob \| history \| raw
-rw-r--r--	3682	matitaProof.ml	blob \| history \| raw
-rw-r--r--	2529	matitaProof.mli	blob \| history \| raw
-rw-r--r--	3213	matitaTypes.ml	blob \| history \| raw