Protocol error: multiple compilations #145
Labels
Comments
akissinger
added a commit
that referenced
this issue
May 24, 2014
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
This message happens and the core doesn't fire up sometimes. Probably a race condition when sending intialisation code.
The text was updated successfully, but these errors were encountered: