matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 09:01:00 +0000 (09:01 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 09:01:00 +0000 (09:01 +0000)
commit	5553ac7623425bce6f34eed6e17d4f0f8163e9aa
tree	441804996be125ed8c07faf255cbfe3d2f1891cd	tree \| snapshot
parent	77f31024bf00b913703eab774ce421cec0518058	commit \| diff

- acic_content ==> content
- termAcicContent ==> interpretations

39 files changed:

matita/components/METAS/meta.helm-acic_content.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-content.src	[new file with mode: 0644]	blob
matita/components/METAS/meta.helm-content_pres.src		diff \| blob \| history
matita/components/METAS/meta.helm-disambiguation.src		diff \| blob \| history
matita/components/METAS/meta.helm-grafite.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_cic_content.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_disambiguation.src		diff \| blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/acic_content/.depend	[deleted file]	blob \| history
matita/components/acic_content/.depend.opt	[deleted file]	blob \| history
matita/components/acic_content/Makefile	[deleted file]	blob \| history
matita/components/acic_content/cicNotationEnv.ml	[deleted file]	blob \| history
matita/components/acic_content/cicNotationEnv.mli	[deleted file]	blob \| history
matita/components/acic_content/cicNotationPp.ml	[deleted file]	blob \| history
matita/components/acic_content/cicNotationPp.mli	[deleted file]	blob \| history
matita/components/acic_content/cicNotationPt.ml	[deleted file]	blob \| history
matita/components/acic_content/cicNotationUtil.ml	[deleted file]	blob \| history
matita/components/acic_content/cicNotationUtil.mli	[deleted file]	blob \| history
matita/components/acic_content/content.ml	[deleted file]	blob \| history
matita/components/acic_content/content.mli	[deleted file]	blob \| history
matita/components/acic_content/termAcicContent.ml	[deleted file]	blob \| history
matita/components/acic_content/termAcicContent.mli	[deleted file]	blob \| history
matita/components/content/.depend	[new file with mode: 0644]	blob
matita/components/content/.depend.opt	[new file with mode: 0644]	blob
matita/components/content/Makefile	[new file with mode: 0644]	blob
matita/components/content/cicNotationEnv.ml	[new file with mode: 0644]	blob
matita/components/content/cicNotationEnv.mli	[new file with mode: 0644]	blob
matita/components/content/cicNotationPp.ml	[new file with mode: 0644]	blob
matita/components/content/cicNotationPp.mli	[new file with mode: 0644]	blob
matita/components/content/cicNotationPt.ml	[new file with mode: 0644]	blob
matita/components/content/cicNotationUtil.ml	[new file with mode: 0644]	blob
matita/components/content/cicNotationUtil.mli	[new file with mode: 0644]	blob
matita/components/content/content.ml	[new file with mode: 0644]	blob
matita/components/content/content.mli	[new file with mode: 0644]	blob
matita/components/content/interpretations.ml	[new file with mode: 0644]	blob
matita/components/content/interpretations.mli	[new file with mode: 0644]	blob
matita/components/lexicon/cicNotation.ml		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.ml		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.ml		diff \| blob \| history

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

RSS Atom