copy/paste doesn't work for graph node

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

copy/paste doesn't work for graph node #91

Closed lyhlbyl closed 8 years ago

lyhlbyl commented 8 years ago

when copy and paste a sub-graphs with a combination of atomic node and graph node, it will only act on the graph node. Also the node doesn't seem to link to the graph definition properly.