| Wed, 21 Mar 2018 19:39:23 +0100 | haftmann | prefer convention to place operation name before type name | changeset | files |
| Tue, 20 Mar 2018 09:27:40 +0000 | haftmann | more lemmas | changeset | files |
| Tue, 20 Mar 2018 09:27:39 +0000 | haftmann | generalized | changeset | files |
| Mon, 19 Mar 2018 19:24:45 +0100 | wenzelm | documentation for the Isabelle server; | changeset | files |
| Mon, 19 Mar 2018 18:13:37 +0100 | wenzelm | clarified message name: disallow single quote; | changeset | files |
| Sun, 18 Mar 2018 12:26:30 +0100 | wenzelm | clarified server shutdown: stop all sessions; | changeset | files |
| Sun, 18 Mar 2018 12:11:30 +0100 | wenzelm | more explicit error messages; | changeset | files |