Project files hard-code .qtheory links

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

152 stars 22 forks source link

Closed hmillerbakewell closed 6 years ago

hmillerbakewell commented 6 years ago

Either we should ship .qtheory files as standard, or construct some other way of dealing with .qtheories (how much do we need them?)

hmillerbakewell commented 6 years ago

Now .qproject files contain the theory and other information. Will work to remove redundant dependence on qtheories where appropriate.