]> matita.cs.unibo.it Git - helm.git/commit
Conjectures and Hypotheses inside every conjecture and in the sequents now
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 May 2002 10:13:34 +0000 (10:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 May 2002 10:13:34 +0000 (10:13 +0000)
commitb57c31a1593872c181249135bc05ebd9a72f523b
tree6cb3e890f1ef046d0b8684cd71bae5eb2a0adf2a
parent82466efd82082c6101d1c2c0c217f681b37160e8
Conjectures and Hypotheses inside every conjecture and in the sequents now
have an id and thus can be selected.
12 files changed:
helm/dtd/cic.dtd
helm/gTopLevel/cic2Xml.ml
helm/gTopLevel/cic2acic.ml
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/sequentPp.ml
helm/ocaml/cic/cic.ml
helm/ocaml/cic/cicParser2.ml
helm/ocaml/cic/deannotate.ml
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
helm/ocaml/cic_annotations/cicXPath.ml
helm/style/mmlextension.xsl
helm/style/objcontent.xsl