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: 9d8e81d) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 24 Jun 2005 08:43:21 +0000 (08:43 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 24 Jun 2005 08:43:21 +0000 (08:43 +0000)
commit	1b1ae2b73035d4a09792ee53c51e7c6dd5bbd41c
tree	e92c5b5bbd6adb3e93ed808a2fd8feb864ec1924	tree \| snapshot
parent	9d8e81db720417f58591ea42f72c6750b886a83d	commit \| diff

cicPxpParser.ml*, cicParser2.ml* and cicParser3.ml definitely removed
in favour of the cicPushParser.ml* (renamed to cicParser.ml*)

helm/ocaml/cic/.depend		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic/cicParser.ml		diff \| blob \| history
helm/ocaml/cic/cicParser2.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser2.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicParser3.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser3.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicPushParser.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicPushParser.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicPxpParser.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicPxpParser.mli	[deleted file]	blob \| history

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