Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust shutdown while Isabelle_Process is starting up, e.g. quit after dialog Isabelle version for testing";
Changeset 71471:c06604896c3d by wenzelm:
more robust shutdown while Isabelle_Process is starting up, e.g. quit after dialog Isabelle version for testing";
The file was modified src/Tools/jEdit/src/plugin.scala (diff)