Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned GUI;
  2. tuned GUI;
  3. proper tooltip (amending fd8a65b026f1);
  4. updated to scala-2.12.3;
  5. auto update;
  6. updated to jdk-8u144;
  7. tuned GUI;
  8. more explicit failure;
  9. explicit indication of consolidated nodes;
Changeset 66418:410b10ea405c by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66417:1f46b6693b56 by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66416:e20ce089a14d by wenzelm:
proper tooltip (amending fd8a65b026f1);
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66415:96ad7d5ff613 by wenzelm:
updated to scala-2.12.3;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/timing.ML (diff)
The file was modified src/Pure/PIDE/document_id.scala (diff)
Changeset 66414:a8939d090014 by wenzelm:
auto update;
The file was modified Admin/components/components.sha1 (diff)
Changeset 66413:98afae4308f5 by wenzelm:
updated to jdk-8u144;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66412:a8556be5be0b by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66411:72de7d59e2f7 by wenzelm:
more explicit failure;
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66410:72a7e29104f1 by wenzelm:
explicit indication of consolidated nodes;
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)