Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated comments;
  2. updated to scala-2.12.4;
Changeset 67011:bab3208d8d37 by wenzelm:
updated comments;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 67010:cf56dd6f3ad1 by wenzelm:
updated to scala-2.12.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Concurrent/event_timer.scala (diff)
The file was modified src/Pure/more_pattern.ML (diff)