git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d9aa27) | patch
Add implicit tactic rebuild.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 27 Dec 2019 20:18:08 +0000 (20:18 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 27 Dec 2019 20:19:10 +0000 (20:19 +0000)
commita925b902c8f87f9dfc7e39f6c31426e7527cefee
tree0d43eb2f43e44d8787bc78765fe2c3c68a4780b1tree | snapshot
parent8d9aa27f1bf7a0a99a66924ba10fd24a0d691163commit | diff
Add implicit tactic rebuild.

We don't need to look for a goal covering every tactic, if the tactic
doesn't need rebuilding.
src/eval.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.