Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more robust;
  3. rebuild component;
  4. more robust: for the sake of Isabelle.app on macOS;
  5. more robust;
  6. more robust;
  7. more robust;
  8. rebuild component;
  9. more informative errors: capture low-level compiler output;
  10. more direct isabelle_scala_build: always enabled, no "Admin" requirement;
  11. tuned --- fewer warnings;
  12. clarified names;
  13. tuned --- fewer warnings;
  14. clarified directory;
  15. clarified names;
  16. clarified component setup for old graph browser;
  17. redundant: *.class and *.jar are already ignored;
  18. proper cat_lines: avoid last "\n";
  19. merged
  20. A few new lemmas and simplifications
  21. removed support for experimental Pirate prover
  22. get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options
Changeset 74026:c4c612d92fcc by wenzelm:
merged
Changeset 74025:d609fa3e816d by wenzelm:
more robust;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74024:19ad7a099992 by wenzelm:
rebuild component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74023:fd4b4385ad3c by wenzelm:
more robust: for the sake of Isabelle.app on macOS;
The file was modified src/Tools/jEdit/jedit_main/scala_console.scala (diff)
Changeset 74022:dfcef9ad5f45 by wenzelm:
more robust;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74021:483c200545c8 by wenzelm:
more robust;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74020:bad67fa41e71 by wenzelm:
more robust;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74019:08cece720cb5 by wenzelm:
rebuild component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74018:9d6c9a55f450 by wenzelm:
more informative errors: capture low-level compiler output;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 74017:b4e6b82fdb9e by wenzelm:
more direct isabelle_scala_build: always enabled, no "Admin" requirement;
The file was modified Admin/build_history (diff)
The file was modified Admin/build_release (diff)
The file was modified bin/isabelle (diff)
The file was modified lib/Tools/components (diff)
The file was modified lib/Tools/console (diff)
The file was modified lib/Tools/scala (diff)
The file was modified lib/Tools/scalac (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Tools/GraphBrowser/lib/Tools/browser (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was removedAdmin/build
Changeset 74016:027fb21bdd5d by wenzelm:
tuned --- fewer warnings;
The file was modified src/Tools/GraphBrowser/graphbrowser/GraphBrowser.java (diff)
Changeset 74015:12b1f4649ab1 by wenzelm:
clarified names;
The file was addedsrc/Tools/GraphBrowser/awt/Border.java
The file was addedsrc/Tools/GraphBrowser/awt/MessageDialog.java
The file was addedsrc/Tools/GraphBrowser/awt/TextFrame.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/AWTFontMetrics.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/AbstractFontMetrics.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Box.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Console.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/DefaultFontMetrics.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Directory.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/DummyVertex.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Graph.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/GraphBrowser.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/GraphBrowserFrame.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/GraphView.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/NormalVertex.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/ParseError.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Region.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Spline.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/TreeBrowser.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/TreeNode.java
The file was addedsrc/Tools/GraphBrowser/graphbrowser/Vertex.java
The file was modified src/Tools/GraphBrowser/etc/build.props (diff)
The file was modified src/Tools/GraphBrowser/lib/Tools/browser (diff)
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/AWTFontMetrics.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/AbstractFontMetrics.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Box.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Console.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/DefaultFontMetrics.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Directory.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/DummyVertex.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Graph.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/GraphBrowser.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/GraphBrowserFrame.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/GraphView.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/NormalVertex.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/ParseError.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Region.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Spline.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/TreeBrowser.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/TreeNode.java
The file was removedsrc/Tools/GraphBrowser/GraphBrowser/Vertex.java
The file was removedsrc/Tools/GraphBrowser/awtUtilities/Border.java
The file was removedsrc/Tools/GraphBrowser/awtUtilities/MessageDialog.java
The file was removedsrc/Tools/GraphBrowser/awtUtilities/TextFrame.java
Changeset 74014:3b8b1da2ff29 by wenzelm:
tuned --- fewer warnings;
The file was modified src/Tools/GraphBrowser/GraphBrowser/Graph.java (diff)
The file was modified src/Tools/GraphBrowser/GraphBrowser/TreeNode.java (diff)
Changeset 74013:f114e11fe21d by wenzelm:
clarified directory;
The file was modified src/Tools/GraphBrowser/etc/build.props (diff)
Changeset 74012:341941afe827 by wenzelm:
clarified names;
The file was modified src/Tools/jEdit/jedit_base/plugin.props (diff)
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)
Changeset 74011:1d366486a812 by wenzelm:
clarified component setup for old graph browser;
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/AWTFontMetrics.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/AbstractFontMetrics.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Box.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Console.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/DefaultFontMetrics.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Directory.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/DummyVertex.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Graph.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/GraphBrowser.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/GraphBrowserFrame.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/GraphView.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/NormalVertex.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/ParseError.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Region.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Spline.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/TreeBrowser.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/TreeNode.java
The file was addedsrc/Tools/GraphBrowser/GraphBrowser/Vertex.java
The file was addedsrc/Tools/GraphBrowser/awtUtilities/Border.java
The file was addedsrc/Tools/GraphBrowser/awtUtilities/MessageDialog.java
The file was addedsrc/Tools/GraphBrowser/awtUtilities/TextFrame.java
The file was addedsrc/Tools/GraphBrowser/etc/build.props
The file was addedsrc/Tools/GraphBrowser/etc/settings
The file was addedsrc/Tools/GraphBrowser/lib/Tools/browser
The file was modified Admin/build (diff)
The file was modified etc/components (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was removedlib/Tools/browser
The file was removedlib/browser/GraphBrowser/AWTFontMetrics.java
The file was removedlib/browser/GraphBrowser/AbstractFontMetrics.java
The file was removedlib/browser/GraphBrowser/Box.java
The file was removedlib/browser/GraphBrowser/Console.java
The file was removedlib/browser/GraphBrowser/DefaultFontMetrics.java
The file was removedlib/browser/GraphBrowser/Directory.java
The file was removedlib/browser/GraphBrowser/DummyVertex.java
The file was removedlib/browser/GraphBrowser/Graph.java
The file was removedlib/browser/GraphBrowser/GraphBrowser.java
The file was removedlib/browser/GraphBrowser/GraphBrowserFrame.java
The file was removedlib/browser/GraphBrowser/GraphView.java
The file was removedlib/browser/GraphBrowser/NormalVertex.java
The file was removedlib/browser/GraphBrowser/ParseError.java
The file was removedlib/browser/GraphBrowser/Region.java
The file was removedlib/browser/GraphBrowser/Spline.java
The file was removedlib/browser/GraphBrowser/TreeBrowser.java
The file was removedlib/browser/GraphBrowser/TreeNode.java
The file was removedlib/browser/GraphBrowser/Vertex.java
The file was removedlib/browser/awtUtilities/Border.java
The file was removedlib/browser/awtUtilities/MessageDialog.java
The file was removedlib/browser/awtUtilities/TextFrame.java
The file was removedlib/browser/build
Changeset 74010:4f60db51a263 by wenzelm:
redundant: *.class and *.jar are already ignored;
The file was modified .hgignore (diff)
Changeset 74009:10abe3049bec by wenzelm:
proper cat_lines: avoid last "\n";
The file was modified src/Tools/Setup/isabelle/setup/Library.java (diff)
Changeset 74008:4cca14dc577c by paulson:
merged
Changeset 74007:df976eefcba0 by paulson _lp15@cam.ac.uk_:
A few new lemmas and simplifications
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
The file was modified src/HOL/Complex_Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Conditionally_Complete_Lattices.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Groups.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 74006:1a0a536b8aaf by blanchet:
removed support for experimental Pirate prover
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
Changeset 74005:14de47e29fe4 by blanchet:
get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)