Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified names;
  2. clarified signature;
  3. tuned signature;
  4. formal platform information, notably for ssh;
  5. clarified message;
  6. more robust executor policy after shutdown;
  7. clarified message;
  8. clarified names;
  9. more reactive kodkod execution: avoid confusion about timeout/deadline;
  10. allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
  11. clarified default (see also 0c7a74a1c6d9);
  12. tuned;
  13. obsolete --- Java is always present via component;
  14. obsolete --- KODKODI is always present via component;
  15. obsolete --- ML module Nitpick resides within theory Nitpick (see also 7b8c366e34a2, 1fba360b5443);
  16. merged
  17. merged
  18. de-applying
Changeset 72341:0973a594be72 by wenzelm:
clarified names;
The file was modified Admin/etc/options (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 72340:676066aa4798 by wenzelm:
clarified signature;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_platform.scala (diff)
Changeset 72339:626920749f5d by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_platform.scala (diff)
Changeset 72338:54871a086193 by wenzelm:
formal platform information, notably for ssh;
The file was addedsrc/Pure/System/isabelle_platform.scala
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72337:4075560b3d5c by wenzelm:
clarified message;
The file was modified src/Pure/System/process_result.scala (diff)
Changeset 72336:41a4352c5240 by wenzelm:
more robust executor policy after shutdown;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
Changeset 72335:b8708212bdd5 by wenzelm:
clarified message;
The file was modified src/Pure/General/exn.scala (diff)
Changeset 72334:6916b48b375c by wenzelm:
clarified names;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 72333:0823524eea1e by wenzelm:
more reactive kodkod execution: avoid confusion about timeout/deadline;
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
Changeset 72332:319dd5c618a5 by wenzelm:
allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
The file was modified NEWS (diff)
The file was modified etc/symbols (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/System/scala.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 72331:850ba6d47300 by wenzelm:
clarified default (see also 0c7a74a1c6d9);
The file was modified src/HOL/ROOT (diff)
Changeset 72330:562445121de7 by wenzelm:
tuned;
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
Changeset 72329:6255e532aa36 by wenzelm:
obsolete --- Java is always present via component;
The file was modified src/HOL/Nitpick_Examples/minipick.ML (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick.ML (diff)
Changeset 72328:7cb0c5fbe2d9 by wenzelm:
obsolete --- KODKODI is always present via component;
The file was modified src/HOL/Nitpick_Examples/minipick.ML (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick.ML (diff)
Changeset 72327:da2cbe54e53e by wenzelm:
obsolete --- ML module Nitpick resides within theory Nitpick (see also 7b8c366e34a2, 1fba360b5443);
The file was modified src/HOL/Tools/Nitpick/nitpick.ML (diff)
Changeset 72326:4750ea34603e by paulson:
merged
Changeset 72325:fb6295a224f8 by paulson:
merged
Changeset 72324:7bb074cceefe by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Analysis/Polytope.thy (diff)