| Mon, 17 Aug 2020 15:42:38 +0100 | paulson | S Holub's proposed generalisation of the lexicographic product of two orderings | changeset | files |
| Mon, 17 Aug 2020 16:26:58 +0200 | wenzelm | allow user-defined server commands via isabelle_scala_service; | changeset | files |
| Mon, 17 Aug 2020 13:16:42 +0200 | wenzelm | more systematic support for special directories; | changeset | files |
| Mon, 17 Aug 2020 12:35:03 +0200 | wenzelm | proper init of cumulative settings; | changeset | files |
| Sun, 16 Aug 2020 22:02:11 +0200 | wenzelm | upgrade phabricator: Promote 2020 Week 31 + subsequent change; | changeset | files |
| Sun, 16 Aug 2020 11:57:15 +0200 | wenzelm | clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System"); | changeset | files |
| Sat, 15 Aug 2020 13:51:55 +0200 | wenzelm | proper protocol init (amending 065dcd80293e); | changeset | files |