Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned layout;
  2. updated screenshots;
  3. ignore odd warnings;
  4. tuned whitespace;
  5. merged;
  6. updated for release;
  7. merged
  8. clarified build of standard heaps;
  9. updated for release;
  10. tuned message;
  11. retain copy of required components;
  12. option for build_sessions;
  13. tuned;
  14. support for platform-specific builds on remote server;
  15. more robust: always (re)build platform application bundles;
  16. The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale
Changeset 70112:7721589f3efd by wenzelm:
tuned layout;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/JEdit/document/root.tex (diff)
Changeset 70111:2337a6bc5e41 by wenzelm:
updated screenshots;
The file was modified src/Doc/JEdit/document/auto-tools.png (diff)
The file was modified src/Doc/JEdit/document/bibtex-mode.png (diff)
The file was modified src/Doc/JEdit/document/cite-completion.png (diff)
The file was modified src/Doc/JEdit/document/isabelle-jedit-hdpi.png (diff)
The file was modified src/Doc/JEdit/document/markdown-document.png (diff)
The file was modified src/Doc/JEdit/document/ml-debugger.png (diff)
The file was modified src/Doc/JEdit/document/output-and-state.png (diff)
The file was modified src/Doc/JEdit/document/output-including-state.png (diff)
The file was modified src/Doc/JEdit/document/output.png (diff)
The file was modified src/Doc/JEdit/document/popup1.png (diff)
The file was modified src/Doc/JEdit/document/popup2.png (diff)
The file was modified src/Doc/JEdit/document/query.png (diff)
The file was modified src/Doc/JEdit/document/scope1.png (diff)
The file was modified src/Doc/JEdit/document/scope2.png (diff)
The file was modified src/Doc/JEdit/document/sidekick-document.png (diff)
The file was modified src/Doc/JEdit/document/sidekick.png (diff)
The file was modified src/Doc/JEdit/document/sledgehammer.png (diff)
The file was modified src/Doc/JEdit/document/theories.png (diff)
Changeset 70110:96a2f134f0b5 by wenzelm:
ignore odd warnings;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70109:f1c580ad3437 by wenzelm:
tuned whitespace;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70108:77f978dd8ffb by wenzelm:
merged;
Changeset 70107:491453ea09bb by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
Changeset 70106:55220f2d09d2 by wenzelm:
merged
Changeset 70105:eadd87383e30 by wenzelm:
clarified build of standard heaps;
The file was modified NEWS (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 70104:e6b7729453bf by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 70103:a6236d5a89ae by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70102:e48ffba6b557 by wenzelm:
retain copy of required components;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 70101:4ae335fd3a54 by wenzelm:
option for build_sessions;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70100:d9ea307aac2a by wenzelm:
tuned;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 70099:9b9c1192f972 by wenzelm:
support for platform-specific builds on remote server;
The file was modified Admin/etc/options (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70098:956d2430cb29 by wenzelm:
more robust: always (re)build platform application bundles;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70097:4005298550a6 by paulson _lp15@cam.ac.uk_:
The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale
The file was addedsrc/HOL/Homology/Invariance_of_Domain.thy
The file was modified src/HOL/Analysis/Abstract_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Convex.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy (diff)
The file was modified src/HOL/Analysis/Ordered_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Poly_Roots.thy (diff)
The file was modified src/HOL/Analysis/Summation_Tests.thy (diff)
The file was modified src/HOL/Analysis/ex/Approximations.thy (diff)
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Decision_Procs/Approximation_Bounds.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/Homology/Brouwer_Degree.thy (diff)
The file was modified src/HOL/Homology/Simplices.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/HSeries.thy (diff)
The file was modified src/HOL/Probability/Characteristic_Functions.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
The file was modified src/HOL/ex/Sum_of_Powers.thy (diff)
The file was modified src/HOL/ex/ThreeDivides.thy (diff)