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: 172e33e) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 5 Sep 2005 15:55:46 +0000 (15:55 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 5 Sep 2005 15:55:46 +0000 (15:55 +0000)
commit	1ca0ec89cfc2c3f85af95d5b1bdad07597d976bd
tree	c404d7ae1a3e1f039396d43f674358645b35c9b9	tree \| snapshot
parent	172e33ea0aabf7ef066e73fbe577061955327693	commit \| diff

use uniform naming for referencing cicNotation* modules

13 files changed:

helm/ocaml/cic_notation/box.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationEnv.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationFwd.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPp.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPres.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationTag.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationUtil.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteAst.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteAstPp.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteParser.ml		diff \| blob \| history

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