Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS;
  3. updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv; proper update of jEdit environment -- avoid warnings in Java 11; activate jdk-11+28;
  4. clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc);
  5. updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
  6. proper completion for @{named_theorems};
  7. executable comparators apt for sorting
  8. tuned grammar
  9. more and generalized lemmas
Changeset 69190:278b09a92ed6 by wenzelm:
merged
Changeset 69189:f714114b0571 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 69188:2fd73a1a0937 by wenzelm:
updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;<br>proper update of jEdit environment -- avoid warnings in Java 11;<br>activate jdk-11+28;
The file was addedsrc/Tools/jEdit/patches/putenv
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Tools/main.scala (diff)
Changeset 69187:d8849cfad60f by wenzelm:
clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc);
The file was modified src/HOL/ex/Cartouche_Examples.thy (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/isar_cmd.ML (diff)
The file was modified src/Pure/Isar/method.ML (diff)
The file was modified src/Pure/ML/ml_context.ML (diff)
Changeset 69186:573b7fbd96a8 by wenzelm:
updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 69185:6f79d6a5acad by wenzelm:
proper completion for @{named_theorems};
The file was modified src/Pure/General/name_space.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/Tools/named_theorems.ML (diff)
Changeset 69184:91fd09f2b86e by haftmann:
executable comparators apt for sorting
The file was addedsrc/HOL/Library/Comparator.thy
The file was modified src/HOL/Library/Library.thy (diff)
Changeset 69183:431414500576 by haftmann:
tuned grammar
The file was modified NEWS (diff)
Changeset 69182:2424301cc73d by haftmann:
more and generalized lemmas
The file was modified src/HOL/Factorial.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)