]> matita.cs.unibo.it Git - helm.git/commit
- most of cic/ removed
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 11:03:27 +0000 (11:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 11:03:27 +0000 (11:03 +0000)
commitc3b7b4c8697a146a3d734b5333d655a25a642cb9
treebe892e5a0dc57c57839aa210b1e9e56293302b33
parentcd5e575ed60527edac0a99196bd8d20f06841254
- most of cic/ removed
24 files changed:
matita/components/cic/.depend
matita/components/cic/.depend.opt
matita/components/cic/Makefile
matita/components/cic/cicInspect.ml [deleted file]
matita/components/cic/cicInspect.mli [deleted file]
matita/components/cic/cicParser.ml [deleted file]
matita/components/cic/cicParser.mli [deleted file]
matita/components/cic/cic_indexable.ml [deleted file]
matita/components/cic/cic_indexable.mli [deleted file]
matita/components/cic/deannotate.ml [deleted file]
matita/components/cic/deannotate.mli [deleted file]
matita/components/cic/helmLibraryObjects.ml [deleted file]
matita/components/cic/helmLibraryObjects.mli [deleted file]
matita/components/cic/libraryObjects.ml [deleted file]
matita/components/cic/libraryObjects.mli [deleted file]
matita/components/cic/path_indexing.ml [deleted file]
matita/components/cic/path_indexing.mli [deleted file]
matita/components/cic/unshare.ml [deleted file]
matita/components/cic/unshare.mli [deleted file]
matita/components/content/interpretations.ml
matita/components/grafite/grafiteMarshal.ml
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/grafiteSync.ml
matita/components/ng_cic_content/ncic2astMatcher.ml