Summary
- back to scala-2.12.2, after a41435469559;
The file was modified | Admin/components/main (diff) |
The file was modified | src/HOL/Codegenerator_Test/Generate.thy (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) |