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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 26 Oct 2010 12:58:39 +0000 (12:58 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 26 Oct 2010 12:58:39 +0000 (12:58 +0000)
commit	0d2bfb98d8343b4e6cefdb506a813b7cb5749630
tree	f6adc170b990e3d2824f96671194e5fe404b5446	tree \| snapshot
parent	cb11de1c61f0b61935b1c6c1832deacb49f7b5bd	commit \| diff

cic module removed (RIP)

38 files changed:

matita/components/METAS/meta.helm-cic.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-extlib.src		diff \| blob \| history
matita/components/METAS/meta.helm-grafite.src		diff \| blob \| history
matita/components/METAS/meta.helm-grafite_engine.src		diff \| blob \| history
matita/components/METAS/meta.helm-library.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_kernel.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_paramodulation.src		diff \| blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/binaries/test_lexer/Makefile	[new file with mode: 0644]	blob
matita/components/binaries/test_lexer/test_lexer.ml	[new file with mode: 0644]	blob
matita/components/binaries/test_parser/Makefile	[new file with mode: 0644]	blob
matita/components/binaries/test_parser/print_grammar.ml	[new file with mode: 0644]	blob
matita/components/binaries/test_parser/test_dep.ml	[new file with mode: 0644]	blob
matita/components/binaries/test_parser/test_parser.ml	[new file with mode: 0644]	blob
matita/components/cic/.depend	[deleted file]	blob \| history
matita/components/cic/.depend.opt	[deleted file]	blob \| history
matita/components/cic/Makefile	[deleted file]	blob \| history
matita/components/cic/cic.ml	[deleted file]	blob \| history
matita/components/content/interpretations.ml		diff \| blob \| history
matita/components/content/interpretations.mli		diff \| blob \| history
matita/components/content/notationPp.ml		diff \| blob \| history
matita/components/content/notationPt.ml		diff \| blob \| history
matita/components/content/notationUtil.ml		diff \| blob \| history
matita/components/content/notationUtil.mli		diff \| blob \| history
matita/components/content_pres/Makefile		diff \| blob \| history
matita/components/content_pres/cicNotationPres.mli		diff \| blob \| history
matita/components/content_pres/test_lexer.ml	[deleted file]	blob \| history
matita/components/grafite_parser/Makefile		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/grafite_parser/print_grammar.ml	[deleted file]	blob \| history
matita/components/grafite_parser/test_dep.ml	[deleted file]	blob \| history
matita/components/grafite_parser/test_parser.ml	[deleted file]	blob \| history
matita/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
matita/components/ng_kernel/nCic.ml		diff \| blob \| history
matita/components/ng_kernel/nCicPp.ml		diff \| blob \| history
matita/components/ng_kernel/nCicPp.mli		diff \| blob \| history
matita/matita/library/depends		diff \| blob \| history
matita/matita/matitadep.ml		diff \| blob \| history

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

RSS Atom