Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

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);
  6. merged
  7. more automation and clarification
  8. merged
  9. removed more applys
Changeset 71728:c986a422dee1 by wenzelm:
NEWS;
The file was modified NEWS (diff)
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 (diff)
Changeset 71726:a5fda30edae2 by wenzelm:
clarified signature: more uniform treatment of stopped/interrupted state;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
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 (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
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 (diff)
Changeset 71723:5bbd80875e02 by nipkow:
merged
Changeset 71722:1cffe8f4d7b3 by nipkow:
more automation and clarification
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
Changeset 71721:df68b82c818d by paulson:
merged
Changeset 71720:1d8a1f727879 by paulson _lp15@cam.ac.uk_:
removed more applys
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)