Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
  3. more compact command_timings, as in former batch-build;
  4. unused;
  5. unused --- superseded by PIDE messages;
  6. more thorough cleanup, e.g. before ML_Heap.save;
  7. discontinued old batch-build functionality;
  8. tailored towards remaining essence
  9. merged
  10. tuned
  11. added theory Tree23_of_List
  12. more robust treatment of thm_names, with strict check after all theories are loaded;
  13. a few more lemmas
Changeset 72109:ae683a461c40 by wenzelm:
merged
Changeset 72108:411b3dc036ca by wenzelm:
recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72107:1b06ed254943 by wenzelm:
more compact command_timings, as in former batch-build;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72106:36743e0e2c4c by wenzelm:
unused;
The file was modified src/Pure/PIDE/markup.ML (diff)
Changeset 72105:a1fb4d28e609 by wenzelm:
unused --- superseded by PIDE messages;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 72104:d9a42786fbc9 by wenzelm:
more thorough cleanup, e.g. before ML_Heap.save;
The file was modified src/Pure/System/isabelle_process.ML (diff)
Changeset 72103:7b318273a4aa by wenzelm:
discontinued old batch-build functionality;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/System/scala.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72102:0b21b2beadb5 by haftmann:
tailored towards remaining essence
The file was addedsrc/HOL/ex/Word_Conversions.thy
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/ex/Bit_Lists.thy (diff)
The file was removedsrc/HOL/ex/Word.thy
Changeset 72101:c65614b556b2 by nipkow:
merged
Changeset 72100:9fa6dde8d959 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Tree23_of_List.thy (diff)
The file was modified src/HOL/Data_Structures/document/root.bib (diff)
The file was modified src/HOL/Data_Structures/document/root.tex (diff)
Changeset 72099:f978ecaf119a by nipkow:
added theory Tree23_of_List
The file was addedsrc/HOL/Data_Structures/Tree23_of_List.thy
The file was modified src/HOL/ROOT (diff)
Changeset 72098:8c547eac8381 by wenzelm:
more robust treatment of thm_names, with strict check after all theories are loaded;
The file was modified src/Pure/PIDE/session.ML (diff)
The file was modified src/Pure/global_theory.ML (diff)
Changeset 72097:496cfe488d72 by paulson _lp15@cam.ac.uk_:
a few more lemmas
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Fun_Def.thy (diff)
The file was modified src/HOL/Library/Infinite_Set.thy (diff)