]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 391f9cd) | 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)
commit317e7ae85a9f95cdf45357ed95e409a5b518cd4a
treec1f6bb8fab5dd28ee3f86cec16bc05611c4bf9dctree | snapshot
parent391f9cda43ee8c6d032358e86d12d3633e107a61commit | diff
Syntactic bug changed: t in "unfold t" must be a tactic_term, not a term
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.