| Sun, 12 Apr 2020 10:51:51 +0100 | paulson | cleaning up Homotopy | changeset | files |
| Fri, 10 Apr 2020 22:51:18 +0100 | paulson | merged | changeset | files |
| Fri, 10 Apr 2020 22:50:59 +0100 | paulson | more removal of applys | changeset | files |
| Thu, 09 Apr 2020 21:58:34 +0200 | wenzelm | avoid hard-wired stuff: configure via plugin services; | changeset | files |
| Thu, 09 Apr 2020 21:50:00 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 09 Apr 2020 14:35:36 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2020 20:38:06 +0200 | wenzelm | clarified init of settings vs. services; | changeset | files |
| Wed, 08 Apr 2020 20:22:50 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 08 Apr 2020 14:52:54 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Apr 2020 14:25:28 +0200 | wenzelm | another isabelle_scala_service; | changeset | files |
| Wed, 08 Apr 2020 14:09:32 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2020 14:06:26 +0200 | wenzelm | tuned -- avoid deprecated operations; | changeset | files |
| Wed, 08 Apr 2020 13:14:05 +0200 | wenzelm | more general support for isabelle_scala_service; | changeset | files |
| Wed, 08 Apr 2020 14:48:55 +0200 | wenzelm | merged | changeset | files |