search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

Require user to save file before exporting to tikz #138

Closed zamdzhiev closed 10 years ago