Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned comments;
  2. merged
  3. proper relative path;
  4. unused;
  5. present auxiliary files with PIDE markup; more robust treatment of non-text files (notably $POLYML_EXE);
  6. tuned;
  7. tuned;
  8. tuned signature: more explicit types;
  9. tuned signature;
  10. clarified signature and module structure;
  11. tuned signature;
  12. clarified comments: file-system access is always unsynchronized;
  13. more precise simpset for method unat_arith
Changeset 72966:f931a2a68ab8 by wenzelm:
tuned comments;
The file was modified src/Tools/Argo/argo_proof.ML (diff)
The file was modified src/Tools/Argo/argo_thy.ML (diff)
Changeset 72965:b7c9d6e48237 by wenzelm:
merged
Changeset 72964:2621225b4bdd by wenzelm:
proper relative path;
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72963:f4124c389a62 by wenzelm:
unused;
The file was modified src/Pure/Thy/presentation.scala (diff)
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 (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72961:f78730341c87 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 72960:f7fc8e7c50b0 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 72959:a093b8fc9e21 by wenzelm:
tuned signature: more explicit types;
The file was modified src/Pure/Thy/presentation.scala (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)
Changeset 72958:0d8bc0252e2e by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 72957:75fc90edc0a8 by wenzelm:
clarified signature and module structure;
The file was modified src/Pure/PIDE/resources.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/presentation.scala (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)
Changeset 72956:c007d0fa0938 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 72955:942bf91545fa by wenzelm:
clarified comments: file-system access is always unsynchronized;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 72954:eb1e5c4f70cd by haftmann:
more precise simpset for method unat_arith
The file was modified src/HOL/Library/Word.thy (diff)