search

ggrov / tinker

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

Eclipse version of GUI #72

Open lyhlbyl opened 9 years ago

lyhlbyl commented 9 years ago

Moving the current gui to eclipse