]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4bb843) | patch
Syntactic bug changed: t in "unfold t" must be a tactic_term, not a term
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Jun 2006 15:44:07 +0000 (15:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Jun 2006 15:44:07 +0000 (15:44 +0000)
commit29bde16fc56dc6aeab6bce0d34705b8c58b05bd6
treeb48a168b062a804e19ca9d3e5890b494b4cb7e12tree | snapshot
parentf4bb8432019fd82d361e30923b8e6e6206a4d481commit | diff
Syntactic bug changed: t in "unfold t" must be a tactic_term, not a term
components/grafite_parser/grafiteParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.