Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature;
  3. store documents within session database, instead of browser_info directory;
  4. clarified modules;
  5. clarified modules;
  6. more robust: ensure coherence wrt. build database;
  7. clarified signature: more explicit types;
  8. more explicit presentation directory;
  9. more robust, e.g. for "isabelle build_doc system";
  10. tuned;
  11. merged
  12. merged
  13. de-applying
  14. new theory
  15. Tuned parentheses in TPTP output
Changeset 72655:c88e9369a772 by wenzelm:
merged
Changeset 72654:99a6bcd1e8e4 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72653:ea35afdb1366 by wenzelm:
store documents within session database, instead of browser_info directory;
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72652:07edf1952ab1 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Thy/presentation.scala
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was removedsrc/Pure/Thy/present.scala
Changeset 72651:52cb065aa916 by wenzelm:
clarified modules;
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was removedsrc/Pure/Thy/present.ML
Changeset 72650:787ba1d19d3a by wenzelm:
more robust: ensure coherence wrt. build database;
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 72649:4ba5b1b08dd5 by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72648:1cbac4ae934d by wenzelm:
more explicit presentation directory;
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72647:fd6dc1a4b9ca by wenzelm:
more robust, e.g. for "isabelle build_doc system";
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72646:054d8b212f94 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 72645:f8cc3153ac77 by paulson:
merged
Changeset 72644:0e422e806ef3 by paulson:
merged
Changeset 72643:6b3599ff0687 by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Analysis/Elementary_Normed_Spaces.thy (diff)
Changeset 72642:d152890dd17e by nipkow:
new theory
The file was addedsrc/HOL/Data_Structures/Reverse.thy
The file was modified src/HOL/Data_Structures/Queue_2Lists.thy (diff)
Changeset 72641:4eea17b3ac58 by desharna:
Tuned parentheses in TPTP output
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)