refactor back the design of tactic - Githubissues

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

refactor back the design of tactic #62

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

[x] remove tactic field in the atomic editor (as optional)
[x] change the implementation of tactic back