Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. more robust interrupts;
  3. tuned message;
  4. tuned;
  5. NEWS;
  6. tuned;
  7. more robust interrupt handling;
  8. more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
  9. clarified signature;
  10. clarified signature;
  11. more uniform and Java-conformant: change of handler is non-blocking and interrupts should not be exposed prematurely (reverting 220d19f3e074);
  12. terminate faster;
  13. tuned;
  14. tuned;
  15. clarified interrupt handling;
  16. clarified modules;
  17. tuned;
  18. misc tuning and clarification;
  19. more general interrupt_handler, with some cascading;
  20. clarified signature;
  21. a few more applys
  22. fixed a broken frac_le proof
  23. fixed more nasty proofs
Changeset 71719:23abd7f9f054 by wenzelm:
merged;
Changeset 71718:54ac957c53ec by wenzelm:
more robust interrupts;
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71717:f871ccd358b3 by wenzelm:
tuned message;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71716:d1538d4de057 by wenzelm:
tuned;
The file was modified src/Pure/GUI/gui_thread.scala (diff)
Changeset 71715:9e2f52d0aec3 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71714:9eb584b1c86a by wenzelm:
tuned;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 71713:928fd852f3e2 by wenzelm:
more robust interrupt handling;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/System/tty_loop.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 71712:c6b7f4da67b3 by wenzelm:
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
Changeset 71711:d9aaafcd872b by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71710:2e2948a07f91 by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71709:b4b973a7df45 by wenzelm:
more uniform and Java-conformant: change of handler is non-blocking and interrupts should not be exposed prematurely (reverting 220d19f3e074);
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71708:dd9fc8a3036c by wenzelm:
terminate faster;
The file was modified src/Pure/System/bash.scala (diff)
Changeset 71707:2e602e278b77 by wenzelm:
tuned;
The file was modified src/Pure/System/bash.scala (diff)
Changeset 71706:e95a4c2c9451 by wenzelm:
tuned;
The file was modified src/Pure/System/bash.scala (diff)
Changeset 71705:7b75d52a1bf1 by wenzelm:
clarified interrupt handling;
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
Changeset 71704:b9a5eb0f3b43 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Concurrent/delay.scala
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
The file was modified src/Pure/GUI/gui_thread.scala (diff)
The file was modified src/Pure/General/file_watcher.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Tools/debugger.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/Graphview/tree_panel.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/document_view.scala (diff)
The file was modified src/Tools/jEdit/src/font_info.scala (diff)
The file was modified src/Tools/jEdit/src/info_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_window.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syslog_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/text_overview.scala (diff)
Changeset 71703:8ec5c82b67dc by wenzelm:
tuned;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71702:0098b1974393 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71701:ca926ef898eb by wenzelm:
more general interrupt_handler, with some cascading;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 71700:6c39c3be85df by wenzelm:
clarified signature;
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)
Changeset 71699:8e5c20e4e11a by paulson _lp15@cam.ac.uk_:
a few more applys
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
Changeset 71698:b69dc6bcbea3 by paulson _lp15@cam.ac.uk_:
fixed a broken frac_le proof
The file was modified src/HOL/Analysis/Lipschitz.thy (diff)
Changeset 71697:34ff9ca387c0 by paulson _lp15@cam.ac.uk_:
fixed more nasty proofs
The file was modified src/HOL/Rings.thy (diff)
The file was modified src/HOL/Transfer.thy (diff)