Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. pagecolor no longer exists; uniform use of pdfpagelabels (see 790f73fa8b36);
  2. merged
  3. use other remote_mac: macbroy30 is down;
  4. more robust printing of names in the context of outer syntax;
  5. more informative error (stderr);
  6. more new material
  7. Merge
  8. more new material
  9. tuned and updated for release;
  10. updated for release;
  11. tuned;
  12. misc tuning for release;
  13. added Nunchaku integration
Changeset 64401:7c780152985b by wenzelm:
pagecolor no longer exists;<br>uniform use of pdfpagelabels (see 790f73fa8b36);
The file was modified lib/texinputs/pdfsetup.sty (diff)
The file was modified src/Doc/pdfsetup.sty (diff)
Changeset 64400:3e2ddf2f82d8 by wenzelm:
merged
Changeset 64399:c46e26512e0f by wenzelm:
use other remote_mac: macbroy30 is down;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64398:5076725247fa by wenzelm:
more robust printing of names in the context of outer syntax;
The file was modified src/Pure/Isar/element.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 64397:6e9c22c494c5 by wenzelm:
more informative error (stderr);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64396:3f4a86c9d2b5 by paulson _lp15@cam.ac.uk_:
more new material
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
Changeset 64395:6b57eb9e7790 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 64394:141e1ed8d5a0 by paulson _lp15@cam.ac.uk_:
more new material
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
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/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 64393:17a7543fadad by wenzelm:
tuned and updated for release;
The file was modified CONTRIBUTORS (diff)
Changeset 64392:9456313b57ed by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
Changeset 64391:553d8c4d7ef4 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 64390:ad2c5f37f659 by wenzelm:
misc tuning for release;
The file was modified NEWS (diff)
Changeset 64389:6273d4c8325b by blanchet:
added Nunchaku integration
The file was addedsrc/HOL/Nunchaku/Nunchaku.thy
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_collect.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_commands.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_display.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_model.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_problem.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_reconstruct.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_tool.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_translate.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_util.ML
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)