| Fri, 10 Mar 2017 16:07:20 +0100 | wenzelm | more compact protocol message; | changeset | files |
| Fri, 10 Mar 2017 14:16:45 +0100 | wenzelm | default cygwin_root from Isabelle distribution; | changeset | files |
| Fri, 10 Mar 2017 11:03:46 +0100 | wenzelm | prefer type equality; | changeset | files |