Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. additional user-specified simp (naturality) rules used in friend_of_corec
  2. apply transfer_prover after folding relator_eq
  3. merged
  4. more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
  5. remove old target: it is on the classpath and may break scalac;
  6. updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1
  7. retain Admin component for isabelle tool invocation;
  8. tuned;
  9. more robust;
  10. discontinued unused / untested distinction of separate PIDE modules;
  11. proper Admin tool;
  12. tuned message;
  13. updated for release;
  14. updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
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)