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

drwxr-xr-x		..
-rw-r--r--	139	.cvsignore	blob \| history \| raw
-rw-r--r--	2813	.depend	blob \| history \| raw
-rw-r--r--	2561	Makefile.in	blob \| history \| raw
-rw-r--r--	1295	buildTimeConf.ml.in	blob \| history \| raw
-rw-r--r--	2469	configure.ac	blob \| history \| raw
-rw-r--r--	695	matita.conf.xml.sample	blob \| history \| raw
-rw-r--r--	92913	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--	8268	matita.ml	blob \| history \| raw
-rw-r--r--	2617	matitaCicMisc.ml	blob \| history \| raw
-rw-r--r--	1724	matitaCicMisc.mli	blob \| history \| raw
-rw-r--r--	8991	matitaConsole.ml	blob \| history \| raw
-rw-r--r--	3144	matitaConsole.mli	blob \| history \| raw
-rw-r--r--	3279	matitaDisambiguator.ml	blob \| history \| raw
-rw-r--r--	1266	matitaDisambiguator.mli	blob \| history \| raw
-rw-r--r--	42158	matitaGeneratedGui.ml	blob \| history \| raw
-rw-r--r--	19343	matitaGeneratedGui.mli	blob \| history \| raw
-rw-r--r--	10639	matitaGtkMisc.ml	blob \| history \| raw
-rw-r--r--	3784	matitaGtkMisc.mli	blob \| history \| raw
-rw-r--r--	7329	matitaGui.ml	blob \| history \| raw
-rw-r--r--	2820	matitaGui.mli	blob \| history \| raw
-rw-r--r--	25014	matitaInterpreter.ml	blob \| history \| raw
-rw-r--r--	1261	matitaInterpreter.mli	blob \| history \| raw
-rw-r--r--	15300	matitaMathView.ml	blob \| history \| raw
-rw-r--r--	2982	matitaMathView.mli	blob \| history \| raw
-rw-r--r--	4111	matitaMisc.ml	blob \| history \| raw
-rw-r--r--	2467	matitaMisc.mli	blob \| history \| raw
-rw-r--r--	5384	matitaProof.ml	blob \| history \| raw
-rw-r--r--	2006	matitaProof.mli	blob \| history \| raw
-rw-r--r--	5557	matitaTypes.ml	blob \| history \| raw
-rw-r--r--	6775	matitaTypes.mli	blob \| history \| raw
-rw-r--r--	3734	matitac.ml	blob \| history \| raw
drwxr-xr-x	-	tests	tree \| history