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: 38e1b44) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 20 Jul 2003 13:08:25 +0000 (13:08 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 20 Jul 2003 13:08:25 +0000 (13:08 +0000)
commit	264523336352a5241b747b7e04b33630f6010aeb
tree	9c9a9b3316f3b238b8dfea2f3ef269818be9a5f8	tree \| snapshot
parent	38e1b44cefdd5c6ebf0fb9fa63cc8e4426e26e92	commit \| diff

Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc.

helm/gTopLevel/.depend		diff \| blob \| history
helm/gTopLevel/content2cic.ml	[deleted file]	blob \| history
helm/gTopLevel/content2cic.mli	[deleted file]	blob \| history
helm/gTopLevel/eta_fixing.ml	[deleted file]	blob \| history
helm/gTopLevel/eta_fixing.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/.depend		diff \| blob \| history
helm/ocaml/cic_omdoc/Makefile		diff \| blob \| history
helm/ocaml/cic_omdoc/content2cic.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_omdoc/content2cic.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_omdoc/eta_fixing.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_omdoc/eta_fixing.mli	[new file with mode: 0644]	blob

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