Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. NEWS;
  2. more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;
  3. clarified signature: more uniform treatment of stopped/interrupted state;
  4. proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;
  5. tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea);
Changeset 71728:c986a422dee1 by wenzelm:
NEWS;
The file was modified NEWS
Changeset 71727:0cb14b7455ee by wenzelm:
more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;
The file was modified src/Pure/Tools/build.scala
Changeset 71726:a5fda30edae2 by wenzelm:
clarified signature: more uniform treatment of stopped/interrupted state;
The file was modified src/Pure/Admin/build_doc.scala
The file was modified src/Pure/Admin/build_fonts.scala
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/Admin/build_polyml.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/build_status.scala
The file was modified src/Pure/Admin/components.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/Admin/jenkins.scala
The file was modified src/Pure/Admin/other_isabelle.scala
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/PIDE/headless.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/System/linux.scala
The file was modified src/Pure/System/progress.scala
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Thy/export_theory.scala
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build.scala
The file was modified src/Pure/Tools/dump.scala
The file was modified src/Pure/Tools/mkroot.scala
The file was modified src/Pure/Tools/phabricator.scala
The file was modified src/Pure/Tools/server.scala
The file was modified src/Pure/Tools/server_commands.scala
The file was modified src/Pure/Tools/update.scala
The file was modified src/Tools/VSCode/src/build_vscode.scala
The file was modified src/Tools/jEdit/src/jedit_sessions.scala
The file was modified src/Tools/jEdit/src/session_build.scala
Changeset 71725:c255ed582095 by wenzelm:
proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;
The file was modified src/Tools/jEdit/src/plugin.scala
The file was modified src/Tools/jEdit/src/session_build.scala
Changeset 71724:522994a6c10e by wenzelm:
tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea);
The file was modified src/Tools/jEdit/src/plugin.scala