ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

show goal information #26

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

allow user to click on a goal node to show a goal node information, i.e., the goal term.