| 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 |
| Fri, 01 Sep 2017 15:15:29 +0200 | wenzelm | more robust: provide docking framework via base plugin; | changeset | files |
| Fri, 01 Sep 2017 14:58:19 +0200 | wenzelm | more robust; | changeset | files |
| Fri, 01 Sep 2017 12:57:24 +0200 | wenzelm | tuned headers; | changeset | files |
| Fri, 01 Sep 2017 12:54:31 +0200 | wenzelm | eliminated suspicious Unicode; | changeset | files |
| Fri, 01 Sep 2017 12:52:46 +0200 | wenzelm | auto update; | changeset | files |
| Fri, 01 Sep 2017 12:47:23 +0200 | wenzelm | more PIDE markup; | changeset | files |
| Fri, 01 Sep 2017 12:19:40 +0200 | bulwahn | merged | changeset | files |