]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ed5c8f) | patch
* syntax error fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 12 Jun 2002 16:12:34 +0000 (16:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 12 Jun 2002 16:12:34 +0000 (16:12 +0000)
commit63c43487836c85e7831c4b867723cf602ceb8b1b
treee24f84f88718ebd2c8cd4c34a46ad1f5cbcb1921tree | snapshot
parent2ed5c8ffbe419bdba20236d48f078f9980ed2228commit | diff
* syntax error fixed
* IT DOESN'T COMPILE!!!
  It must still be ported to the new Meta. I don't do it yet because
  this module should disappear when the new exportation module will be
  available.
helm/fix_params/cic2Xml.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.