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

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 2ee738d) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 5 Jul 2005 08:11:00 +0000 (08:11 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 5 Jul 2005 08:11:00 +0000 (08:11 +0000)
commit	6857e22b8a58162893119f7747c5848031fd59ce
tree	fa2876529819418fd9afbd0c3a36d3523899b664	tree \| snapshot
parent	2ee738ded92798fbbf66b65f449102cda761ec9f	commit \| diff

ported to new getter interface

18 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/matita.conf.xml.sample		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaDb.ml		diff \| blob \| history
helm/matita/matitaEngine.ml		diff \| blob \| history
helm/matita/matitaExcPp.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMathView.mli		diff \| blob \| history
helm/matita/matitaSync.ml		diff \| blob \| history
helm/matita/matitaSync.mli		diff \| blob \| history
helm/matita/matitacLib.ml		diff \| blob \| history
helm/matita/matitaclean.ml		diff \| blob \| history
helm/matita/updater.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser.ml		diff \| blob \| history
helm/ocaml/cic/test.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml		diff \| blob \| history
helm/ocaml/metadata/extractor/extractor_manager.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.