Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. upgrade phabricator: Promote 2020 Week 31 + subsequent change; upgrade arcanist: Promote 2020 Week 29;
  2. clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
Changeset 72160:bb5c1992b442 by wenzelm:
upgrade phabricator: Promote 2020 Week 31 + subsequent change;<br>upgrade arcanist: Promote 2020 Week 29;
The file was modified etc/options (diff)
Changeset 72159:40b5ee5889d2 by wenzelm:
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session &quot;System&quot;);
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)