search

ggrov / tinker

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

‘drag & connect’ function does not work #21

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

: cannot drag an edge to automatically connect to a node