Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper fontenc for cartouches (amending d052d61da398);
  2. clarified modules; clarified signature;
  3. clarified signature;
  4. clarified modules;
  5. tuned;
  6. more robust: prefer linear data flow;
Changeset 78682:46891e209d72 by wenzelm:
proper fontenc for cartouches (amending d052d61da398);
The file was modified src/Doc/Classes/document/root.tex (diff)
Changeset 78681:38fe769658be by wenzelm:
clarified modules;<br>clarified signature;
The file was modified src/Doc/Implementation/ML.thy (diff)
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/par_exn.ML (diff)
The file was modified src/Pure/Concurrent/task_queue.ML (diff)
The file was modified src/Pure/Concurrent/timeout.ML (diff)
The file was modified src/Pure/General/exn.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
The file was modified src/Pure/System/scala.ML (diff)
Changeset 78680:61a6b4b81d6e by wenzelm:
clarified signature;
The file was modified src/Pure/ML/exn_properties.ML (diff)
Changeset 78679:dc7455787a8e by wenzelm:
clarified modules;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/par_exn.ML (diff)
The file was modified src/Pure/Isar/runtime.ML (diff)
The file was modified src/Pure/ML/exn_properties.ML (diff)
Changeset 78678:5b2391321bab by wenzelm:
tuned;
The file was modified src/Pure/Concurrent/isabelle_thread.ML (diff)
Changeset 78677:1b9e0f74addb by wenzelm:
more robust: prefer linear data flow;
The file was modified src/Pure/Concurrent/isabelle_thread.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)