]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6c2107) | patch
Order of the generated metavariables for apply fixed. Nothing seems to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Nov 2002 18:42:13 +0000 (18:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Nov 2002 18:42:13 +0000 (18:42 +0000)
commit82ef03cc4bc4752284348127ed0303008b95ee79
treee1f2e9b64dabf45ae1cc2d518970abfd837786cftree | snapshot
parentb6c2107995066dea2b31fe9f760af3cac2d8cebccommit | diff
Order of the generated metavariables for apply fixed. Nothing seems to
break (a miracle?)
helm/gTopLevel/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.