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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 3 Nov 2010 17:14:35 +0000 (17:14 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 3 Nov 2010 17:14:35 +0000 (17:14 +0000)
commit	30bbfa78612ca1ad0c131a75d7075cfd35bebbe1
tree	e057d8da21718c9945cea7e28a6440c82f93ffd2	tree \| snapshot
parent	cd664aefb80554952ed9b010f0c5199ce3a6f8f2	commit \| diff

notation kind of works

15 files changed:

matita/components/content_pres/cicNotationParser.ml		diff \| blob \| history
matita/components/content_pres/cicNotationParser.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_parser/.depend		diff \| blob \| history
matita/components/grafite_parser/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/Makefile		diff \| blob \| history
matita/components/grafite_parser/cicNotation2.ml	[deleted file]	blob \| history
matita/components/grafite_parser/cicNotation2.mli	[deleted file]	blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.mli		diff \| blob \| history
matita/components/lexicon/lexiconTypes.ml		diff \| blob \| history
matita/matita/core_notation.moo	[deleted file]	blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitacLib.ml		diff \| blob \| history
matita/matita/nlibrary/core_notation.ma	[new file with mode: 0644]	blob

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