]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f39951) | patch
bugfix: method 'advance' now took in input concrete syntax since atm
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:45:40 +0000 (15:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:45:40 +0000 (15:45 +0000)
commitf264827750988795bd85d0eb6a7d3ecf236d224e
treef5db97d518a9d315fff9678a7749b147cb1df900tree | snapshot
parent1f399511607bdff67d84ce0bd688bd476c042522commit | diff
bugfix: method 'advance' now took in input concrete syntax since atm
pretty printing is not the inverse operation of parsing
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaScript.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.