Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
  3. provide naproche-7d0947a91dd5;
  4. more complete solutions (amending 4d36070bdbf4);
  5. terminate faster (following dd9fc8a3036c);
  6. more robust: accommodate output lines produced by Scala "bash_process";
  7. updated for release;
  8. updated to flatlaf-1.0-rc3;
  9. more robust: allow YXML text;
  10. inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
  11. support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
  12. clarified modules: less redundancy;
  13. clarified modules: allow early invocation of Scala functions;
  14. clarified modules: allow early definition of protocol commands;
  15. clarified links to external files, e.g. .pdf within .thy source document;
  16. avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
  17. updated to flatlaf-1.0-rc2;
  18. added lemmas
Changeset 73238:180ecdf83bc8 by wenzelm:
merged;
Changeset 73237:3d805ab66a2f by wenzelm:
Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
The file was modified .hgtags (diff)
Changeset 73236:a88dbf2a020f by wenzelm:
provide naproche-7d0947a91dd5;
The file was modified Admin/components/components.sha1 (diff)
Changeset 73235:4e631963fe24 by wenzelm:
more complete solutions (amending 4d36070bdbf4);
The file was modified src/HOL/Tools/Predicate_Compile/code_prolog.ML (diff)
Changeset 73234:da0ee7fbc068 by wenzelm:
terminate faster (following dd9fc8a3036c);
The file was modified src/Pure/System/bash.ML (diff)
Changeset 73233:4d36070bdbf4 by wenzelm:
more robust: accommodate output lines produced by Scala "bash_process";
The file was modified src/HOL/Tools/Predicate_Compile/code_prolog.ML (diff)
Changeset 73232:030b930d1ac8 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
The file was modified NEWS (diff)
Changeset 73231:0659fc0ed877 by wenzelm:
updated to flatlaf-1.0-rc3;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73230:d1bc5a376cf9 by wenzelm:
more robust: allow YXML text;
The file was modified src/Pure/System/bash.ML (diff)
The file was modified src/Pure/System/bash.scala (diff)
Changeset 73229:5be512af2a86 by wenzelm:
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
The file was modified src/Pure/System/bash.ML (diff)
Changeset 73228:0575cfd2ecfc by wenzelm:
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
The file was modified src/Pure/ML/ml_system.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 73227:5cb4f7107add by wenzelm:
clarified modules: less redundancy;
The file was addedsrc/Pure/System/kill.ML
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
Changeset 73226:4c8edf348c4e by wenzelm:
clarified modules: allow early invocation of Scala functions;
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/scala.ML (diff)
Changeset 73225:3ab0cedaccad by wenzelm:
clarified modules: allow early definition of protocol commands;
The file was addedsrc/Pure/PIDE/protocol_command.ML
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/scala.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/debugger.ML (diff)
The file was modified src/Pure/Tools/print_operation.ML (diff)
The file was modified src/Pure/Tools/simplifier_trace.ML (diff)
Changeset 73224:49686e3b1909 by wenzelm:
clarified links to external files, e.g. .pdf within .thy source document;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
Changeset 73223:ee2e803fcf57 by wenzelm:
avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
The file was addedsrc/Tools/jEdit/patches/laf_fonts
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73222:e18191f2aed9 by wenzelm:
updated to flatlaf-1.0-rc2;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73221:b1aa641eee4c by nipkow:
added lemmas
The file was modified src/HOL/Lattices_Big.thy (diff)