Summary
- updated comments;
- updated to scala-2.12.4;
The file was modified | src/Pure/Tools/build.scala (diff) |
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) |