Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. proper theory name;
  3. merged
  4. proper document_theories;
  5. official support for document theories from other sessions;
  6. more interrupts, notably for running latex;
  7. support for watchdog thread;
  8. more parallelism;
  9. tuned signature;
  10. clarified messages;
  11. tuned imports;
Changeset 72604:b6bce47d0b48 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72603:9576d0faf8f9 by wenzelm:
proper theory name;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72602:b040c9e67285 by wenzelm:
merged
Changeset 72601:110bfed4815d by wenzelm:
proper document_theories;
The file was modified src/HOL/ROOT (diff)
Changeset 72600:2fa4f25d9d07 by wenzelm:
official support for document theories from other sessions;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Sessions.thy (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72599:76550282267f by wenzelm:
more interrupts, notably for running latex;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 72598:d9f2be66ebad by wenzelm:
support for watchdog thread;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 72597:e8d7dc1c229c by wenzelm:
more parallelism;
The file was modified src/Pure/Admin/build_doc.scala (diff)
Changeset 72596:b2bbe2e6575d by wenzelm:
tuned signature;
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72595:c806eeb9138c by wenzelm:
clarified messages;
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 72594:e00089ddf462 by wenzelm:
tuned imports;
The file was modified src/Pure/Admin/build_doc.scala (diff)