Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature, following Isabelle/Scala;
  2. more thorough expose_interrupt: always reset "break" state, regardless of pending interrupt;
  3. tuned;
Changeset 78787:a7e4b412cc7c by wenzelm:
tuned signature, following Isabelle/Scala;
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/async_manager_legacy.ML (diff)
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/isabelle_thread.ML (diff)
The file was modified src/Pure/Concurrent/timeout.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
Changeset 78786:85efa3d01b16 by wenzelm:
more thorough expose_interrupt: always reset "break" state, regardless of pending interrupt;
The file was modified src/Pure/Concurrent/isabelle_thread.ML (diff)
Changeset 78785:c8202ed06a5c by wenzelm:
tuned;
The file was modified src/Pure/Concurrent/isabelle_thread.ML (diff)