Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. provide cvc5-1.1.1 for testing --- still inactive;
  2. rebuild bash_process executables on current reference platforms, including native arm64-darwin; enforce rebuild of Isabelle/Scala + Isabelle/ML;
  3. tuned NEWS, see also c62003e05e46;
  4. update NEWS, following ea1913c953ef;
  5. tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:";
  6. more explicit NEWS (see 3648e9c88d0c);
  7. NEWS for a53287d9add3, 3e30ca77ccfe;
  8. add option for unify trace (now disabled by default as printing is excessive and rarely used);
  9. tuned unify trace option names;
Changeset 79750:f8fb4384180e by wenzelm:
provide cvc5-1.1.1 for testing --- still inactive;
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/component_cvc5.scala (diff)
Changeset 79749:a861b0df74b4 by wenzelm:
rebuild bash_process executables on current reference platforms, including native arm64-darwin;<br>enforce rebuild of Isabelle/Scala + Isabelle/ML;
The file was modified Admin/bash_process/build (diff)
The file was modified Admin/bash_process/etc/settings (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 79748:e84b480e90e4 by wenzelm:
tuned NEWS, see also c62003e05e46;
The file was modified NEWS (diff)
Changeset 79747:023b34159050 by wenzelm:
update NEWS, following ea1913c953ef;
The file was modified NEWS (diff)
Changeset 79746:71dce74a456e by wenzelm:
tuned whitespace according to jEdit mode parameters &quot;:wrap=hard:maxLineLen=72:&quot;;
The file was modified NEWS (diff)
Changeset 79745:779cfa2573da by wenzelm:
more explicit NEWS (see 3648e9c88d0c);
The file was modified NEWS (diff)
Changeset 79744:1cbae8af034c by wenzelm:
NEWS for a53287d9add3, 3e30ca77ccfe;
The file was modified NEWS (diff)
Changeset 79743:3648e9c88d0c by fabian huch _huch@in.tum.de_:
add option for unify trace (now disabled by default as printing is excessive and rarely used);
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Generic.thy (diff)
The file was modified src/Doc/Logics/document/HOL.tex (diff)
The file was modified src/HOL/Tools/try0.ML (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/unify.ML (diff)
Changeset 79742:2e4518e8a36b by fabian huch _huch@in.tum.de_:
tuned unify trace option names;
The file was modified src/Doc/Logics/document/HOL.tex (diff)
The file was modified src/HOL/Tools/try0.ML (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/unify.ML (diff)