Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. tuned GUI behaviour;
  3. more GUI elements;
  4. clarified modules;
  5. clarified process: implicit load() when finished;
  6. more robust, notably initial update();
  7. tuned;
  8. tuned messages: implement "verbose = false", but there is no theory output anyway;
Changeset 76569:5150e1f62c86 by wenzelm:
merged
Changeset 76568:1c1d7b3478b1 by wenzelm:
tuned GUI behaviour;
The file was modified src/Pure/General/exn.scala
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 76567:aef247025f07 by wenzelm:
more GUI elements;
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 76566:318c6b466ec0 by wenzelm:
clarified modules;
The file was addedsrc/Tools/jEdit/src/theories_status.scala
The file was modified etc/build.props
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 76565:6827dd0c3723 by wenzelm:
clarified process: implicit load() when finished;
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 76564:02d07758ce42 by wenzelm:
more robust, notably initial update();
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 76563:89cd466e063d by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 76562:9c5780693350 by wenzelm:
tuned messages: implement "verbose = false", but there is no theory output anyway;
The file was modified src/Tools/jEdit/src/document_dockable.scala