Printing atomic names - Githubissues

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

Open ggrov opened 9 years ago

ggrov commented 9 years ago

Add new Print menu item (and rename debug to Debug) with two options:

[ ] Print Tactics : this will print the names of all supported atomic tactics
[ ] Print Goal Types - this will print all the names of the supported atomic goal types