Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified build_polyml_component;
  2. avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
  3. updated;
  4. more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
  5. tuned;
  6. suppress ANSI control sequences in Scala console;
  7. updated to scala-2.12.2;
  8. updated to jdk-8u131;
  9. updated to xz-java-1.6;
  10. separate keep auxiliary directory, to facilitate error diagnosis;
Changeset 65880:54c6ec4166a4 by wenzelm:
clarified build_polyml_component;
The file was modified Admin/polyml/CHECKLIST (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 65879:a43a079156a6 by wenzelm:
avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 65878:effde31b1d9f by wenzelm:
updated;
The file was modified Admin/components/components.sha1 (diff)
Changeset 65877:6eb1a3f7012f by wenzelm:
more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)
Changeset 65876:326c9f828c3d by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)
Changeset 65875:12c90c0c4b32 by wenzelm:
suppress ANSI control sequences in Scala console;
The file was modified src/Pure/Tools/main.scala (diff)
Changeset 65874:bd45c8ebc214 by wenzelm:
updated to scala-2.12.2;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/antiquote.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 65873:300beacd9875 by wenzelm:
updated to jdk-8u131;
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_jdk.scala (diff)
Changeset 65872:8f77f6735b51 by wenzelm:
updated to xz-java-1.6;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 65871:80c1c1f53e72 by wenzelm:
separate keep auxiliary directory, to facilitate error diagnosis;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)