Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. rebuild component;
  3. expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
  4. support expand_platform_path, which is reminiscent of isabelle.Path.expand;
  5. skip scalac for Java build;
  6. support mixed Scala/Java build; clarified scalac/javac options;
  7. clarified javac options;
  8. clarified syntax: similar to URL;
  9. clarified signature;
  10. more robust;
  11. more robust;
  12. more compiler_deps via "requirements", notably jar list from settings; proper Files.createDirectories;
  13. clarified component settings;
  14. clarified shasum: sources / resources within jar;
  15. tuned signature;
  16. clarified modules;
  17. merged
  18. fixed HOL-TPTP following f58108b7a60c
  19. documented Sledgehammer option "induction_rules"
  20. refactored Sledgehammer option "induction_rules"
  21. promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules"
Changeset 73959:e17f76705cee by wenzelm:
merged
Changeset 73958:262dc3bafd15 by wenzelm:
rebuild component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73957:110a027a5473 by wenzelm:
expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73956:ac1884965dc8 by wenzelm:
support expand_platform_path, which is reminiscent of isabelle.Path.expand;
The file was modified src/Tools/Setup/isabelle/setup/Environment.java (diff)
Changeset 73955:2b9ae1aa9257 by wenzelm:
skip scalac for Java build;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73954:a3a64aab815a by wenzelm:
support mixed Scala/Java build;<br>clarified scalac/javac options;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73953:0b5e6851c722 by wenzelm:
clarified javac options;
The file was modified Admin/lib/Tools/build_setup (diff)
The file was modified etc/settings (diff)
Changeset 73952:74ab1fb470a3 by wenzelm:
clarified syntax: similar to URL;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73951:f209845d3a5d by wenzelm:
clarified signature;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73950:cc49da3003aa by wenzelm:
more robust;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73949:714c267bb6fa by wenzelm:
more robust;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73948:731ab64bae97 by wenzelm:
more compiler_deps via &quot;requirements&quot;, notably jar list from settings;<br>proper Files.createDirectories;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73947:75b29d65228e by wenzelm:
clarified component settings;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 73946:4d4c806cb7c8 by wenzelm:
clarified shasum: sources / resources within jar;
The file was modified src/Tools/Setup/isabelle/setup/Build.java (diff)
Changeset 73945:e61add9d5b5e by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 73944:3cee9d20308e by wenzelm:
clarified modules;
The file was addedsrc/Tools/Setup/isabelle/setup/Build.java
The file was modified Admin/lib/Tools/build_setup (diff)
The file was removedsrc/Tools/Setup/isabelle/setup/Build_Scala.java
Changeset 73943:3aace56d282e by desharna:
merged
Changeset 73942:57423714c29d by desharna:
fixed HOL-TPTP following f58108b7a60c
The file was modified src/HOL/TPTP/MaSh_Export_Base.thy (diff)
The file was modified src/HOL/TPTP/atp_theory_export.ML (diff)
The file was modified src/HOL/TPTP/mash_eval.ML (diff)
The file was modified src/HOL/TPTP/mash_export.ML (diff)
Changeset 73941:bec00c7ef8dd by desharna:
documented Sledgehammer option &quot;induction_rules&quot;
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 73940:f58108b7a60c by desharna:
refactored Sledgehammer option &quot;induction_rules&quot;
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_tactics.ML (diff)
Changeset 73939:9231ea46e041 by desharna:
promoted &quot;sledgehammer_instantiate_inducts&quot; to proper option &quot;induction_rules&quot;
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_tactics.ML (diff)