]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8a5bd4) | 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:53:44 +0000 (15:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Sep 2005 15:53:44 +0000 (15:53 +0000)
commit4a63b7ec267b39dd401ccdcdb4de1800c1165533
treebc3ddd760ec259194e117e7cedf2feef752a9564tree | snapshot
parentc8a5bd44cf3de45e2736d45bfb8b9b23835b309bcommit | 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/matita/matitaSync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.