Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to scala-2.12.2, after a41435469559;
Changeset 66191:d91108ba9474 by wenzelm:
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)