ggrov / tinker

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

options is not correct for graph node #92

Closed lyhlbyl closed 8 years ago

lyhlbyl commented 8 years ago

the step in and step over options are not active when more gnodes are available screen shot 2016-07-07 at 16 10 28