Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. include loaded_files as doc_blobs (without purging);
  3. tuned signature;
  4. clarified signature;
  5. tuned;
  6. tuned;
  7. update theory sources based on PIDE markup;
  8. clarified signature;
  9. dynkin -> Dynkin
  10. tuned layout
  11. tuned header
Changeset 69563:8fd576a99a59 by wenzelm:
merged
Changeset 69562:636b3c03a61a by wenzelm:
include loaded_files as doc_blobs (without purging);
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 69561:f71eb0cf8da7 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 69560:195371990820 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 69559:66c8dff9639f by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
Changeset 69558:101ee69cba49 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
Changeset 69557:e72360fef69a by wenzelm:
update theory sources based on PIDE markup;
The file was addedsrc/Pure/Tools/update.scala
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/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 69556:0a38f23ca4c5 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 69555:b07ccc6fb13f by nipkow:
dynkin -> Dynkin
The file was modified src/HOL/Analysis/Sigma_Algebra.thy (diff)
The file was modified src/HOL/Probability/Independent_Family.thy (diff)
Changeset 69554:4d4aedf9e57f by nipkow:
tuned layout
The file was modified src/HOL/Analysis/Sigma_Algebra.thy (diff)
Changeset 69553:2c2e2b3e19b7 by nipkow:
tuned header
The file was modified src/HOL/Analysis/Derivative.thy (diff)