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

drwxr-xr-x		..
-rw-r--r--	119	.cvsignore	blob \| history \| raw
-rw-r--r--	666	.depend	blob \| history \| raw
-rw-r--r--	1535	Makefile.in	blob \| history \| raw
-rw-r--r--	1011	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2234	configure.ac	blob \| history \| raw
-rw-r--r--	204	matita.conf.xml.sample	blob \| history \| raw
-rw-r--r--	34333	matita.glade	blob \| history \| raw
-rw-r--r--	273	matita.gladep	blob \| history \| raw
-rw-r--r--	2441	matita.ml	blob \| history \| raw
-rw-r--r--	21166	matitaGeneratedGui.ml	blob \| history \| raw
-rw-r--r--	10315	matitaGeneratedGui.mli	blob \| history \| raw
-rw-r--r--	4664	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	2124	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	4074	matitaGui.ml	blob \| history \| raw
-rw-r--r--	1962	matitaGui.mli	blob \| history \| raw
-rw-r--r--	3682	matitaProof.ml	blob \| history \| raw
-rw-r--r--	2523	matitaProof.mli	blob \| history \| raw
-rw-r--r--	1656	matitaTypes.ml	blob \| history \| raw