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

drwxr-xr-x		..
-rw-r--r--	119	.cvsignore	blob \| history \| raw
-rw-r--r--	2293	.depend	blob \| history \| raw
-rw-r--r--	1668	Makefile.in	blob \| history \| raw
-rw-r--r--	1186	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2503	configure.ac	blob \| history \| raw
-rw-r--r--	592	matita.conf.xml.sample	blob \| history \| raw
-rw-r--r--	52933	matita.glade	blob \| history \| raw
-rw-r--r--	273	matita.gladep	blob \| history \| raw
-rw-r--r--	2601	matita.gtkrc	blob \| history \| raw
-rw-r--r--	6752	matita.ml	blob \| history \| raw
-rw-r--r--	1499	matitaCicMisc.ml	blob \| history \| raw
-rw-r--r--	6747	matitaConsole.ml	blob \| history \| raw
-rw-r--r--	2433	matitaConsole.mli	blob \| history \| raw
-rw-r--r--	2954	matitaDisambiguator.ml	blob \| history \| raw
-rw-r--r--	1271	matitaDisambiguator.mli	blob \| history \| raw
-rw-r--r--	29430	matitaGeneratedGui.ml	blob \| history \| raw
-rw-r--r--	13799	matitaGeneratedGui.mli	blob \| history \| raw
-rw-r--r--	7029	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	2818	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	6156	matitaGui.ml	blob \| history \| raw
-rw-r--r--	2446	matitaGui.mli	blob \| history \| raw
-rw-r--r--	12787	matitaInterpreter.ml	blob \| history \| raw
-rw-r--r--	1206	matitaInterpreter.mli	blob \| history \| raw
-rw-r--r--	7883	matitaMathView.ml	blob \| history \| raw
-rw-r--r--	1674	matitaMathView.mli	blob \| history \| raw
-rw-r--r--	1426	matitaMisc.ml	blob \| history \| raw
-rw-r--r--	1409	matitaMisc.mli	blob \| history \| raw
-rw-r--r--	4085	matitaProof.ml	blob \| history \| raw
-rw-r--r--	1400	matitaProof.mli	blob \| history \| raw
-rw-r--r--	7154	matitaTypes.ml	blob \| history \| raw