matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/METAS/meta.helm-cic_annotations.src

]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/METAS/meta.helm-cic_annotations.src

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: cf59c0f) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:22:21 +0000 (15:22 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:22:21 +0000 (15:22 +0000)
commit	771ee8b9d122fa963881c876e86f90531bb7434f
tree	7dd98283aca128f349b21671fa5126e12d7784a4	tree \| snapshot
parent	cf59c0f6b6e082b49caaf7ba3745e08b1a845be5	commit \| diff

removed no longer used METAs

helm/ocaml/METAS/meta.helm-cic_annotations.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_annotations_cache.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_cache.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_textual_parser.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-hbugs.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-pxp.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src	[deleted file]	blob \| history

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