| Sat, 02 Sep 2017 17:25:10 +0200 | wenzelm | proper URL; | changeset | files |
| Sat, 02 Sep 2017 17:21:52 +0200 | wenzelm | VSCode extension for official Isabelle release; | changeset | files |
| Sat, 02 Sep 2017 17:15:12 +0200 | wenzelm | auto update; | changeset | files |
| Sat, 02 Sep 2017 17:04:24 +0200 | wenzelm | simplified README: this is for development version; | changeset | files |
| Sat, 02 Sep 2017 12:55:44 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 02 Sep 2017 12:09:07 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 01 Sep 2017 15:42:10 +0200 | wenzelm | clarified startup sequence; | changeset | files |
| Fri, 01 Sep 2017 15:21:10 +0200 | wenzelm | tuned signature; | changeset | files |