Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified description for mixed Mavericks / El Capitan system;
  2. updated documentation;
  3. prefer formal $POLYML_EXE;
  4. clarified main sessions;
  5. updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
  6. suppress warning;
  7. retain files in Pure.thy, notably $POLYML_EXE;
  8. proper context (as in 'term' command);
  9. proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;
  10. more symbols;
  11. prefer Input.source (via cartouche);
  12. updated documentation: JVM is always 64bit;
Changeset 67103:39cc38a06610 by wenzelm:
clarified description for mixed Mavericks / El Capitan system;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67102:411e49edd905 by wenzelm:
updated documentation;
The file was modified src/Pure/README (diff)
Changeset 67101:60126738b2d0 by wenzelm:
prefer formal $POLYML_EXE;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 67100:c7694d51c278 by wenzelm:
clarified main sessions;
The file was modified src/HOL/ROOT (diff)
Changeset 67099:3345d53e7c58 by wenzelm:
updated to official release of polyml-5.7.1;<br>back to more modest default heap: e.g. relevant for Pure session for ML IDE;<br>more robust POLYML_EXE;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
The file was modified Admin/polyml/settings (diff)
The file was modified NEWS (diff)
The file was modified lib/scripts/getsettings (diff)
Changeset 67098:0f750a6dc754 by wenzelm:
suppress warning;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 67097:d1b8464654c5 by wenzelm:
retain files in Pure.thy, notably $POLYML_EXE;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 67096:e77f13a6a501 by wenzelm:
proper context (as in &#039;term&#039; command);
The file was modified src/HOL/ex/Commands.thy (diff)
Changeset 67095:91ffe1f8bf5c by wenzelm:
proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;
The file was modified src/Pure/ML/ml_lex.scala (diff)
Changeset 67094:4a2563645635 by wenzelm:
more symbols;
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
Changeset 67093:835a2ab92c3d by wenzelm:
prefer Input.source (via cartouche);
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
Changeset 67092:d7b3876d3ab1 by wenzelm:
updated documentation: JVM is always 64bit;
The file was modified src/Doc/JEdit/JEdit.thy (diff)