Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less aggressive auto-build: avoid change of running jar;
  2. clarified window size;
  3. more robust Java monitor: avoid odd warning about insecure connection;
  4. tuned signature;
  5. clarified modules;
  6. clarified modules;
  7. misc tuning for release;
  8. rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
  9. sort lines;
  10. provide zipperposition-2.0 for experimentation;
  11. merged
  12. tweaked tptp parsing when source info is missing
Changeset 72978:7e7ed27fe625 by wenzelm:
less aggressive auto-build: avoid change of running jar;
The file was modified lib/Tools/java_monitor (diff)
Changeset 72977:e028331c578b by wenzelm:
clarified window size;
The file was modified src/Pure/Tools/java_monitor.scala (diff)
Changeset 72976:51442c6dc296 by wenzelm:
more robust Java monitor: avoid odd warning about insecure connection;
The file was addedlib/Tools/java_monitor
The file was addedsrc/Pure/Tools/java_monitor.scala
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
The file was modified src/Tools/jEdit/src/status_widget.scala (diff)
Changeset 72975:315f9b4f9e7a by wenzelm:
tuned signature;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 72974:3afd293347cc by wenzelm:
clarified modules;
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala (diff)
Changeset 72973:fc69884a6e5a by wenzelm:
clarified modules;
The file was modified src/Pure/General/untyped.scala (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
Changeset 72972:31ff3c962937 by wenzelm:
misc tuning for release;
The file was modified CONTRIBUTORS (diff)
The file was modified COPYRIGHT (diff)
The file was modified NEWS (diff)
Changeset 72971:162b71f7e554 by wenzelm:
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Pure/Admin/build_zipperposition.scala (diff)
Changeset 72970:06e5ba0d1d2c by wenzelm:
sort lines;
The file was modified Admin/components/main (diff)
Changeset 72969:5bc7fd5379ef by wenzelm:
provide zipperposition-2.0 for experimentation;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
Changeset 72968:5fa7f098ded5 by desharna:
merged
Changeset 72967:11de287ed481 by desharna:
tweaked tptp parsing when source info is missing
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_proof_reconstruct.ML (diff)