]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33b3626) | patch
We do not longer generate inner-types and inner-sorts for XML files generated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Sep 2005 15:34:15 +0000 (15:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Sep 2005 15:34:15 +0000 (15:34 +0000)
commitc8a5bd44cf3de45e2736d45bfb8b9b23835b309b
tree3dc568f95b815e9c1028082584ada52488366bbftree | snapshot
parent33b362600b2756274258f06f26a08c918ec28062commit | diff
We do not longer generate inner-types and inner-sorts for XML files generated
by matitac. We will have to implement a -export flag to matitac to generate
them. This represents yet another important speed-up.
helm/ocaml/cic/cicParser.ml diff | blob | history
helm/ocaml/cic_omdoc/cic2acic.ml diff | blob | history
helm/ocaml/cic_omdoc/cic2acic.mli diff | blob | history
helm/ocaml/cic_transformations/cic2Xml.ml diff | blob | history
helm/ocaml/cic_transformations/cic2Xml.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.