]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6658a4) | patch
sort hint's result accordingly to the "least goal left first" principle
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 14:39:44 +0000 (14:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 14:39:44 +0000 (14:39 +0000)
commitf907c38ea57a42da7de279cc97db2bf5dc7d913b
tree8e2139b8c17960697f74e03d8fd3b31877c3071dtree | snapshot
parentb6658a4a5c874be0223f44c7c1b99900185cbc60commit | diff
sort hint's result accordingly to the "least goal left first" principle
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.