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

drwxr-xr-x		..
-rw-r--r--	119	.cvsignore	blob \| history \| raw
-rw-r--r--	1000	.depend	blob \| history \| raw
-rw-r--r--	1572	Makefile.in	blob \| history \| raw
-rw-r--r--	1011	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2281	configure.ac	blob \| history \| raw
-rw-r--r--	1342	matita.conf.xml.sample	blob \| history \| raw
-rw-r--r--	37950	matita.glade	blob \| history \| raw
-rw-r--r--	273	matita.gladep	blob \| history \| raw
-rw-r--r--	3769	matita.ml	blob \| history \| raw
-rw-r--r--	3314	matitaDisambiguator.ml	blob \| history \| raw
-rw-r--r--	1369	matitaDisambiguator.mli	blob \| history \| raw
-rw-r--r--	23323	matitaGeneratedGui.ml	blob \| history \| raw
-rw-r--r--	11474	matitaGeneratedGui.mli	blob \| history \| raw
-rw-r--r--	6927	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	2816	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	4250	matitaGui.ml	blob \| history \| raw
-rw-r--r--	2063	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--	3420	matitaTypes.ml	blob \| history \| raw