better support for branching, backtracking, and undo - Githubissues

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

better support for branching, backtracking, and undo #64

Open lyhlbyl opened 9 years ago

lyhlbyl commented 9 years ago

[ ] undo and
[x] backtracking requires the feature of restoring context
[ ] support branching for or & orelse in graph tactic