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: cdd019e) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 11 Oct 2009 13:54:47 +0000 (13:54 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 11 Oct 2009 13:54:47 +0000 (13:54 +0000)
commit	2f67829c12dea538114bb848e0275d220dba601b
tree	7069c18271179040d0e000115a1d01cc407286f0	tree \| snapshot
parent	cdd019ea6419fc058a92b1aca950a4eff11188d1	commit \| diff

auto with intro

13 files changed:

helm/software/components/acic_content/cicNotationPp.ml		diff \| blob \| history
helm/software/components/acic_content/cicNotationPt.ml		diff \| blob \| history
helm/software/components/acic_content/cicNotationUtil.ml		diff \| blob \| history
helm/software/components/cic_disambiguation/cicDisambiguate.ml		diff \| blob \| history
helm/software/components/disambiguation/disambiguate.ml		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
helm/software/components/ng_tactics/nAuto.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
helm/software/matita/nlibrary/depends		diff \| blob \| history
helm/software/matita/nlibrary/depends.dot		diff \| blob \| history
helm/software/matita/nlibrary/depends.png		diff \| blob \| history
helm/software/matita/tests/ng_auto.ma		diff \| blob \| history

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