need to re-layout in eval

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

when a graph is displayed in the gui, all nodes are overlapping with each other, need to re-layout