]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f8d3ad) | patch
DTD for attributes revised.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Jun 2005 16:37:16 +0000 (16:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Jun 2005 16:37:16 +0000 (16:37 +0000)
commit05feb31551afc1eafd1d350c3facc23fdda5bebe
treec4be925e0a61432e10339e0f583be141be02514atree | snapshot
parent8f8d3ad5a02faed2ddcaa22f49a9099175445ef4commit | diff
DTD for attributes revised.
New syntax:
 <attributes>
  <class type="..">
   ...
  </class>
  <generated />
 </attributes>
where the ... are the arguments of the class and the class and generated
elements are optional. For the "elim" class the only argument is the SORT.
For the "record" class the arguments are a list of <field name=".."/>
helm/ocaml/cic_transformations/cic2Xml.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.