Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature, for the sake of AFP/Isabelle_C;
  3. more uniform report of Markup.language_path;
  4. omit pointless guard: ultimately observed by Isabelle_Process.report_message;
  5. tuned signature;
  6. clarified modules;
  7. tuned;
  8. tuned signature;
  9. tuned;
  10. tuned;
  11. tuned output;
  12. merged
  13. Tidied some messy proofs
Changeset 76808:4e97da5befc6 by wenzelm:
merged
Changeset 76807:25900fbea7ad by wenzelm:
tuned signature, for the sake of AFP/Isabelle_C;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76806:797621be9317 by wenzelm:
more uniform report of Markup.language_path;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76805:5a28de3388cd by wenzelm:
omit pointless guard: ultimately observed by Isabelle_Process.report_message;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76804:3e8340fcaa16 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/method.ML (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/context_position.ML (diff)
Changeset 76803:5ffe32b613ae by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 76802:ad01b550e74b by wenzelm:
tuned;
The file was modified src/Pure/Tools/generated_files.ML (diff)
Changeset 76801:f425e0fda79c by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76800:9662c1aa35f6 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76799:6e786a09a4bb by wenzelm:
tuned;
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76798:69d8d16c5612 by wenzelm:
tuned output;
The file was modified src/HOL/SPARK/Tools/spark.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
Changeset 76797:18e719c6b633 by paulson:
merged
Changeset 76796:454984e807db by paulson _lp15@cam.ac.uk_:
Tidied some messy proofs
The file was modified src/HOL/Analysis/Elementary_Metric_Spaces.thy (diff)
The file was modified src/HOL/Library/Float.thy (diff)