| Mon, 02 Mar 2020 15:33:58 +0100 | wenzelm | follow Phabricator update 2020 Week 6; | changeset | files |
| Mon, 02 Mar 2020 14:09:39 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Sun, 01 Mar 2020 21:52:21 +0100 | wenzelm | more Isabelle/jEdit actions; | changeset | files |
| Sun, 01 Mar 2020 15:20:47 +0100 | wenzelm | updated for release; | changeset | files |
| Sat, 29 Feb 2020 17:16:17 +0100 | wenzelm | more Isabelle/jEdit actions; | changeset | files |
| Sat, 29 Feb 2020 16:38:59 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 29 Feb 2020 16:30:30 +0100 | wenzelm | tuned; | changeset | files |