Skip to content
Failed

Changes

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

Summary

  1. store timings for used_theories in canonical order, with reconstructed store.read_theories;
  2. merged
  3. merged
  4. Stepan Holub's stronger version of comm_append_are_replicate, and a de-applied Word.thy
  5. merged
  6. tuned
  7. removed assumptions in lemma (Stepan Holub)
  8. merged
  9. more exports from rendering; suppress empty exports;
  10. clarified signature;
  11. clarified options: batch-build has pide_reports disabled by default (requires significant resources);
  12. tuned;
  13. proper return code for more errors (amending d892f6d66402);
  14. more exports, as in "isabelle dump";
  15. tuned;
  16. clarified signature;
  17. clarified signature: initial markup is_empty, not init_markup;
  18. clarified signature: prefer high-level Snapshot over low-level Command.State;
  19. tuned;
  20. more strict;
  21. clarified signature;
  22. tuned;
  23. clarified signature;
  24. clarified signature --- avoid repeated open_database on server;
  25. renaming
Changeset 72738:a4d7da18ac5c by wenzelm:
store timings for used_theories in canonical order, with reconstructed store.read_theories;
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72737:98fe7a10ace3 by paulson:
merged
Changeset 72736:7553c1880815 by paulson:
merged
Changeset 72735:bbe5d3ef2052 by paulson _lp15@cam.ac.uk_:
Stepan Holub's stronger version of comm_append_are_replicate, and a de-applied Word.thy
The file was modified src/HOL/Library/Word.thy
The file was modified src/HOL/List.thy
Changeset 72734:e0ceaca7344a by nipkow:
merged
Changeset 72733:7b918b9f0122 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Interval_Tree.thy
Changeset 72732:bfd1022cd947 by nipkow:
removed assumptions in lemma (Stepan Holub)
The file was modified CONTRIBUTORS
The file was modified src/HOL/List.thy
Changeset 72731:178de0e275a1 by wenzelm:
merged
Changeset 72730:01c9b3033036 by wenzelm:
more exports from rendering;<br>suppress empty exports;
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72729:83411077c37b by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Pure/Thy/bibtex.scala
Changeset 72728:caa182bdab7a by wenzelm:
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
The file was modified NEWS
The file was modified etc/options
The file was modified src/Pure/Tools/build.scala
Changeset 72727:2da1993fe903 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala
Changeset 72726:ec6a27bbdab8 by wenzelm:
proper return code for more errors (amending d892f6d66402);
The file was modified src/Pure/System/process_result.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72725:27d9aa2a4010 by wenzelm:
more exports, as in &quot;isabelle dump&quot;;
The file was modified src/Pure/Tools/build_job.scala
Changeset 72724:75cce7926ec1 by wenzelm:
tuned;
The file was modified src/Pure/Tools/dump.scala
Changeset 72723:3b804e0ffae9 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Tools/build_job.scala
The file was modified src/Pure/Tools/dump.scala
The file was modified src/Pure/Tools/update.scala
Changeset 72722:ade53fbc6f03 by wenzelm:
clarified signature: initial markup is_empty, not init_markup;
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/PIDE/document.scala
Changeset 72721:79f5e843e5ec by wenzelm:
clarified signature: prefer high-level Snapshot over low-level Command.State;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72720:f2d641e856ac by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/pretty_text_area.scala
Changeset 72719:cb07791d86b8 by wenzelm:
more strict;
The file was modified src/Pure/PIDE/document.scala
Changeset 72718:59a7f82a7180 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
The file was modified src/Tools/jEdit/src/pretty_text_area.scala
Changeset 72717:4fa1aa5dac4f by wenzelm:
tuned;
The file was modified src/Pure/Tools/build_job.scala
Changeset 72716:7cef6b1a6682 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Thy/sessions.scala
Changeset 72715:2615b8c05337 by wenzelm:
clarified signature --- avoid repeated open_database on server;
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 72714:35d1fc20df22 by Peter Lammich:
renaming
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. do not build HOL-Analysis on macisa2
Changeset 11430:938eda70c082 by lars hupel _lars.hupel@mytum.de_:
do not build HOL-Analysis on macisa2
The file was modified admin/jenkins/ci_build_mac.scala