Tikz export #125
Comments
Closed
|
@akissinger
However, for wire vertices, there is no predefined style. Similarly, for !-box nodes. |
zamdzhiev
added a commit
that referenced
this issue
May 13, 2014
zamdzhiev
added a commit
that referenced
this issue
May 14, 2014
|
Closing this issue. File new issues if there are bugs or needed features missing. |
lyhlbyl
added a commit
that referenced
this issue
Jun 26, 2014
* integration: (124 commits) fixed isabelle loading set min worker pool to 4 pushed osx version included 100MS wait, seems to fix #145 included heap building in dist scripts change non-worker forks to Thread.fork, not Future.fork, to save workers for actual workers. Fixes #144. prevent core actor from accidentally running any swing initialisation code fixed type stuff Revert "fix #136 -- Shortcut for some entries in Edit Menu are not shown". This clobbers copy/paste in derivations. simplified io for red-green (and in general). zeroes no longer get created more descriptive menu text for export and properly enable/disable export and "snap to grid" fix #136 -- Shortcut for some entries in Edit Menu are not shown fix #138 -- Require user to save file before exporting to tikz progress on #125 support for exporting parallel edges to tikz fix bug in data.Graph and add a new method fix padding issues for tikz export progress on #125, exporting derivations works now exporting rules works now refactor tikzit export code into graphview so it can be reused progress on tikz export -- exporting graphs is OK except for parallel edges ... Conflicts: core/isabelle/io.thy scala/build.sbt scala/project/plugins.sbt scala/src/main/scala/quanto/data/VData.scala scala/src/main/scala/quanto/gui/GraphDocument.scala scala/src/main/scala/quanto/gui/GraphEditController.scala scala/src/main/scala/quanto/gui/GraphEditPanel.scala
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Support tikz export graphs, rules, and derivations. For graphs and rules, output a single, tikzit-readable .tikz file. (In the latter case, include an equals sign in a blank node in the middle).
For derivations, there should be the option to output either a single latex file with many tikz figures laid out nicely, or a directory of tikz files along with a latex file that includes them (again, laid out nicely) via \tikzfig.
In either case, quanto should be smart about where to insert line breaks. For these kinds of derivations, it is typical to have 3-5 steps per line. Ideally, it should either figure out automatically how many steps to pack into a line or use a latex environment that puts breaks in decent places. "dmath" might do an okay job of this.
The text was updated successfully, but these errors were encountered: