Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. version provided by web server;
  3. proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;
  4. unused;
  5. tuned documentation
  6. document limitations
  7. more accurate error message
  8. robustness
  9. document transfer_prover_eq and friend_of_corec_simps
  10. additional user-specified simp (naturality) rules used in friend_of_corec
  11. apply transfer_prover after folding relator_eq
  12. merged
  13. more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
  14. remove old target: it is on the classpath and may break scalac;
  15. updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1
  16. retain Admin component for isabelle tool invocation;
  17. tuned;
  18. more robust;
  19. discontinued unused / untested distinction of separate PIDE modules;
  20. proper Admin tool;
  21. tuned message;
  22. updated for release;
  23. updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
  24. Merge
  25. "subgoal" examples
  26. Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
Changeset 64388:14571c9e1d50 by wenzelm:
merged
Changeset 64387:2a4672722aaa by wenzelm:
version provided by web server;
The file was modified Admin/PLATFORMS (diff)
Changeset 64386:e936967c2a06 by wenzelm:
proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;
The file was modified Admin/Windows/Cygwin/isabelle/postinstall (diff)
Changeset 64385:d072d327b9b2 by wenzelm:
unused;
The file was removedAdmin/PIDE/README
The file was removedAdmin/PIDE/convert
Changeset 64384:f8c1c12d6af5 by blanchet:
tuned documentation
The file was modified src/Doc/Corec/Corec.thy (diff)
The file was modified src/Doc/manual.bib (diff)
Changeset 64383:b9d4efb43fd9 by blanchet:
document limitations
The file was modified src/Doc/Corec/Corec.thy (diff)
Changeset 64382:2a75139b5931 by blanchet:
more accurate error message
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec.ML (diff)
Changeset 64381:59f59f826afd by blanchet:
robustness
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)
Changeset 64380:4b22e1268779 by Andreas Lochbihler:
document transfer_prover_eq and friend_of_corec_simps
The file was modified src/Doc/Corec/Corec.thy (diff)
Changeset 64379:71f42dcaa1df by traytel:
additional user-specified simp (naturality) rules used in friend_of_corec
The file was addedsrc/HOL/Corec_Examples/Tests/Iterate_GPV.thy
The file was modified src/HOL/Library/BNF_Corec.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar_tactics.ML (diff)
Changeset 64378:e9eb0b99a44c by traytel:
apply transfer_prover after folding relator_eq
The file was modified src/HOL/Library/BNF_Corec.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_tactics.ML (diff)
Changeset 64377:c1db9e3fe0e2 by wenzelm:
merged
Changeset 64376:68ace7f3d78f by wenzelm:
more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 64375:74a2af7c5145 by wenzelm:
remove old target: it is on the classpath and may break scalac;
The file was modified src/Pure/build-jars (diff)
Changeset 64374:80d498d56116 by wenzelm:
updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 64373:5a3e35cb6f54 by wenzelm:
retain Admin component for isabelle tool invocation;
The file was modified Admin/lib/Tools/makedist (diff)
Changeset 64372:7ffd2be0a1e8 by wenzelm:
tuned;
The file was modified src/Pure/Admin/news.scala (diff)
Changeset 64371:213cf4215b40 by wenzelm:
more robust;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 64370:865b39487b5d by wenzelm:
discontinued unused / untested distinction of separate PIDE modules;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/build (diff)
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/Concurrent/counter.scala (diff)
The file was modified src/Pure/Concurrent/event_timer.scala (diff)
The file was modified src/Pure/Concurrent/future.scala (diff)
The file was modified src/Pure/Concurrent/mailbox.scala (diff)
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
The file was modified src/Pure/Concurrent/synchronized.scala (diff)
The file was modified src/Pure/GUI/color_value.scala (diff)
The file was modified src/Pure/GUI/gui_thread.scala (diff)
The file was modified src/Pure/GUI/popup.scala (diff)
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/General/linear_set.scala (diff)
The file was modified src/Pure/General/multi_map.scala (diff)
The file was modified src/Pure/General/output.scala (diff)
The file was modified src/Pure/General/properties.scala (diff)
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/General/untyped.scala (diff)
The file was modified src/Pure/General/word.scala (diff)
The file was modified src/Pure/PIDE/document_id.scala (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/markup_tree.scala (diff)
The file was modified src/Pure/PIDE/text.scala (diff)
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/PIDE/yxml.scala (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
The file was modified src/Pure/System/utf8.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 64369:6a9816764b37 by wenzelm:
proper Admin tool;
The file was addedsrc/Pure/Admin/news.scala
The file was modified Admin/lib/Tools/makedist (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/news.scala
Changeset 64368:364d74ea985f by wenzelm:
tuned message;
The file was modified src/Pure/Admin/check_sources.scala (diff)
Changeset 64367:a424f2737646 by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 64366:e0ab4c0a5a93 by wenzelm:
updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 64365:6694bd2b9b67 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 64364:464420ba7f74 by paulson _lp15@cam.ac.uk_:
"subgoal" examples
The file was modified src/HOL/Auth/Yahalom.thy (diff)
The file was modified src/HOL/Auth/Yahalom2.thy (diff)
Changeset 64363:90ceace1e814 by eberlm _eberlm@in.tum.de_:
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)