]> matita.cs.unibo.it Git - helm.git/commit
- cic almost not used
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 11:36:04 +0000 (11:36 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 11:36:04 +0000 (11:36 +0000)
commitd284dd23d0e12a62a001d3473eadf4942d12ffaa
tree8d2cdd9402ebaa259136a41dae37422b459b688a
parente2dde4cca0fe3ce74a79edbf8cb7a0f8e616daa9
- cic almost not used
23 files changed:
matita/components/cic/.depend
matita/components/cic/.depend.opt
matita/components/cic/Makefile
matita/components/cic/cic.ml
matita/components/cic/cicPp.ml [deleted file]
matita/components/cic/cicPp.mli [deleted file]
matita/components/cic/cicUniv.ml [deleted file]
matita/components/cic/cicUniv.mli [deleted file]
matita/components/cic/cicUtil.ml [deleted file]
matita/components/cic/cicUtil.mli [deleted file]
matita/components/content/notationPp.ml
matita/components/content/notationPt.ml
matita/components/content_pres/cicNotationParser.ml
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/grafiteEngine.mli
matita/components/grafite_parser/grafiteDisambiguate.ml
matita/components/grafite_parser/grafiteDisambiguate.mli
matita/components/ng_cic_content/nTermCicContent.ml
matita/components/ng_disambiguation/disambiguateChoices.ml
matita/components/ng_disambiguation/disambiguateChoices.mli
matita/components/ng_disambiguation/nCicDisambiguate.ml
matita/components/ng_refiner/check.ml [deleted file]
matita/components/ng_refiner/rt.ml [deleted file]