Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less verbosity by default, notably for regular "isabelle build -o document";
  2. clarified message: old-style log is usually empty;
  3. clarified messages, notably for session "Intro";
  4. merged
  5. more general program start message; progress on "Creating directory";
  6. clarified terminology of inlined "PROGRAM START" messages;
  7. isabelle update -u cite -l "";
  8. less ambitious parallelism: avoid exhaustion of memory (40GB total);
  9. clarified GUI;
  10. clarified GUI: omit pointless search buttons, as real output is shown as markup;
  11. more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;
  12. merged
  13. More new material thanks to Manuel
  14. merged
  15. tuning
Changeset 77178:4aff4a84b8af by wenzelm:
less verbosity by default, notably for regular "isabelle build -o document";
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 77177:76180e429491 by wenzelm:
clarified message: old-style log is usually empty;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 77176:0f77e50eb870 by wenzelm:
clarified messages, notably for session "Intro";
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 77175:dad9960852a2 by wenzelm:
merged
Changeset 77174:1eb55d6809b3 by wenzelm:
more general program start message;<br>progress on &quot;Creating directory&quot;;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77173:f1063cdb0093 by wenzelm:
clarified terminology of inlined &quot;PROGRAM START&quot; messages;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77172:816959264c32 by wenzelm:
isabelle update -u cite -l &quot;&quot;;
The file was modified src/HOL/BNF_Cardinal_Order_Relation.thy (diff)
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 77171:e0e9f1b4c844 by wenzelm:
less ambitious parallelism: avoid exhaustion of memory (40GB total);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 77170:2ddb82044ff0 by wenzelm:
clarified GUI;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77169:b2bc810e4bf7 by wenzelm:
clarified GUI: omit pointless search buttons, as real output is shown as markup;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77168:547d140f0780 by wenzelm:
more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 77167:052aab920a52 by paulson:
merged
Changeset 77166:0fb350e7477b by paulson _lp15@cam.ac.uk_:
More new material thanks to Manuel
The file was modified src/HOL/Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Complex.thy (diff)
Changeset 77165:646e36bf24ae by nipkow:
merged
Changeset 77164:9770db65d628 by nipkow:
tuning
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
The file was modified src/Doc/Prog_Prove/Types_and_funs.thy (diff)