| Mon, 02 Mar 2020 13:57:03 +0100 | wenzelm | VSCode extension for official Isabelle release; | changeset | files |
| Mon, 02 Mar 2020 13:43:52 +0100 | wenzelm | more documentation; | changeset | files |
| Mon, 02 Mar 2020 13:43:39 +0100 | wenzelm | tuned GUI; | changeset | files |
| Sun, 01 Mar 2020 22:52:46 +0100 | wenzelm | clarified command line; | changeset | files |
| Sun, 01 Mar 2020 22:32:10 +0100 | wenzelm | proper navigation wrt. caret; | changeset | files |
| Sun, 01 Mar 2020 22:14:11 +0100 | wenzelm | clarified modifier: avoid confusion of CS+a as C+a; | changeset | files |
| Sun, 01 Mar 2020 22:05:47 +0100 | wenzelm | tuned -- avoid deprecated operations; | changeset | files |