]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69b4ac1) | patch
Several bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Jan 2007 18:36:04 +0000 (18:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Jan 2007 18:36:04 +0000 (18:36 +0000)
commit8402a4a856b031916b1e2b1354b863933763fa58
treeecc3d4461ce552839e82d38416c689c549fba251tree | snapshot
parent69b4ac15705f7f5de44dd22b4295c5cd17a131f5commit | diff
Several bugs fixed:
 1. mutual definitions were not generated correctly
    (e.g. let rec even ... and odd in even actually resulted in a
     definition of odd!)
 2. a top-level mutual definition now generates two constants (as it
    should have always been)
helm/software/components/acic_content/cicNotationPp.ml diff | blob | history
helm/software/components/cic/cic.ml diff | blob | history
helm/software/components/cic/cicParser.ml diff | blob | history
helm/software/components/cic_acic/cic2Xml.ml diff | blob | history
helm/software/components/cic_disambiguation/disambiguate.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/components/library/librarySync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.