Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merged
  2. proper relative path;
  3. unused;
  4. present auxiliary files with PIDE markup; more robust treatment of non-text files (notably $POLYML_EXE);
  5. tuned;
  6. tuned;
  7. tuned signature: more explicit types;
  8. tuned signature;
  9. clarified signature and module structure;
  10. tuned signature;
  11. clarified comments: file-system access is always unsynchronized;
Changeset 72965:b7c9d6e48237 by wenzelm:
merged
Changeset 72964:2621225b4bdd by wenzelm:
proper relative path;
The file was modified src/Pure/Tools/build_job.scala
Changeset 72963:f4124c389a62 by wenzelm:
unused;
The file was modified src/Pure/Thy/presentation.scala
Changeset 72962:af2d0e07493b by wenzelm:
present auxiliary files with PIDE markup;<br>more robust treatment of non-text files (notably $POLYML_EXE);
The file was modified etc/isabelle.css
The file was modified src/Pure/General/path.scala
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/ROOT.ML
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Tools/build.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72961:f78730341c87 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/preview_panel.scala
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 72960:f7fc8e7c50b0 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 72959:a093b8fc9e21 by wenzelm:
tuned signature: more explicit types;
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Tools/VSCode/src/preview_panel.scala
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 72958:0d8bc0252e2e by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/Tools/build_job.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
Changeset 72957:75fc90edc0a8 by wenzelm:
clarified signature and module structure;
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/bibtex.scala
The file was modified src/Pure/Thy/file_format.scala
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Tools/VSCode/src/preview_panel.scala
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 72956:c007d0fa0938 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/presentation.scala
Changeset 72955:942bf91545fa by wenzelm:
clarified comments: file-system access is always unsynchronized;
The file was modified src/Pure/Thy/presentation.scala