Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. proper span position for blobs in batch-build (but: practically irrelevant);
  3. proper treatment of singleton Position.Offset within blob (amending cb9d5af781b4);
  4. more robust batch-build;
  5. tuned;
  6. tuned signature;
  7. clarified signature;
  8. tuned signature;
  9. clarified signature;
  10. tuned;
  11. clarified signature;
  12. clarified signature, notably access to blob files;
  13. support for PIDE markup for auxiliary files ("blobs"); clarified files of theory Pure;
  14. tuned;
  15. clarified signature --- more explicit types;
Changeset 72828:18bc50e58e38 by wenzelm:
merged
Changeset 72827:1975f397eabb by wenzelm:
proper span position for blobs in batch-build (but: practically irrelevant);
The file was modified src/Pure/PIDE/command.scala
Changeset 72826:fa5d8f486380 by wenzelm:
proper treatment of singleton Position.Offset within blob (amending cb9d5af781b4);
The file was modified src/Pure/PIDE/command.scala
Changeset 72825:a44c30d08bb0 by wenzelm:
more robust batch-build;
The file was modified src/Pure/ML/ml_compiler.ML
Changeset 72824:eb526f6c92b7 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/command.scala
Changeset 72823:ab1a49ac456b by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/query_operation.scala
The file was modified src/Pure/Tools/update.scala
The file was modified src/Tools/jEdit/src/jedit_editor.scala
The file was modified src/Tools/jEdit/src/timing_dockable.scala
Changeset 72822:8d166825265e by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/Tools/update.scala
Changeset 72821:13275ae9e209 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala
Changeset 72820:af1bd8f2760f by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala
Changeset 72819:0f01783400b2 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala
Changeset 72818:55792cb3892f by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala
Changeset 72817:1c378ab75d48 by wenzelm:
clarified signature, notably access to blob files;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72816:ea4f86914cb2 by wenzelm:
support for PIDE markup for auxiliary files (&quot;blobs&quot;);<br>clarified files of theory Pure;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/command_span.scala
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/headless.scala
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/Pure.thy
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72815:85aaaf2cd173 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/markup_tree.scala
Changeset 72814:51eec6d51882 by wenzelm:
clarified signature --- more explicit types;
The file was modified src/Pure/Isar/document_structure.scala
The file was modified src/Pure/PIDE/command.scala