Summary
- updated to scala-2.12.0;
- tuned
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Pure/System/invoke_scala.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) |
The file was modified | NEWS (diff) |