Summary
- upgrade phabricator: Promote 2020 Week 31 + subsequent change; upgrade arcanist: Promote 2020 Week 29;
- clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
The file was modified | etc/options (diff) |
The file was modified | src/Pure/PIDE/session.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | src/Pure/System/scala.scala (diff) |
The file was modified | src/Pure/Thy/file_format.scala (diff) |