Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified scope of concept
  2. clarified name
  3. tuned;
  4. download auxiliary files via "curl";
  5. clarified markup: open URL as editor file;
  6. download as in Isabelle/Scala;
  7. more robust;
  8. improved markup for theory header imports;
  9. clarified markup (refining dd56ba1974e6);
  10. more documentation;
Changeset 72953:90ada01470cb by haftmann:
clarified scope of concept
The file was modified src/Pure/Isar/interpretation.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/locale.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)
The file was modified src/Pure/Isar/target_context.ML (diff)
Changeset 72952:09479be1fe2a by haftmann:
clarified name
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/locale.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)
The file was modified src/Pure/Isar/target_context.ML (diff)
Changeset 72951:74339f1a5dd7 by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_system.ML (diff)
Changeset 72950:ac6457a70db5 by wenzelm:
download auxiliary files via "curl";
The file was modified NEWS (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 72949:854ebb9e4eb3 by wenzelm:
clarified markup: open URL as editor file;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 72948:f3d0e4ea492d by wenzelm:
download as in Isabelle/Scala;
The file was modified src/Pure/System/isabelle_system.ML (diff)
Changeset 72947:19484bb038a8 by wenzelm:
more robust;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 72946:9329abcdd651 by wenzelm:
improved markup for theory header imports;
The file was modified NEWS (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 72945:756b9cb8a176 by wenzelm:
clarified markup (refining dd56ba1974e6);
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 72944:50c48773b954 by wenzelm:
more documentation;
The file was modified src/Doc/JEdit/JEdit.thy (diff)