| Tue, 03 Mar 2020 15:51:02 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 02 Mar 2020 15:45:37 +0100 | wenzelm | Added tag Isabelle2020-RC1 for changeset a8849ac415cc | changeset | files |
| 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 |
| Fri, 28 Feb 2020 21:23:11 +0100 | traytel | tuned lift_bnf's user interface for quotients | changeset | files |
| Fri, 28 Feb 2020 22:23:43 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 28 Feb 2020 21:34:04 +0100 | wenzelm | updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); | changeset | files |
| Fri, 28 Feb 2020 16:40:28 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 27 Feb 2020 13:27:49 +0100 | wenzelm | more complete signature; | changeset | files |
| Thu, 27 Feb 2020 12:58:03 +0100 | wenzelm | more complete signature; | changeset | files |
| Thu, 27 Feb 2020 12:27:49 +0100 | wenzelm | clarified versions -- more reproducible build; | changeset | files |
| Thu, 27 Feb 2020 12:18:16 +0100 | nipkow | removed dead lemma | changeset | files |
| Wed, 26 Feb 2020 23:49:16 +0100 | nipkow | simplified proofs | changeset | files |
| Wed, 26 Feb 2020 19:50:04 +0100 | wenzelm | updated for release; | changeset | files |
| Wed, 26 Feb 2020 19:26:00 +0100 | wenzelm | updated for release; | changeset | files |
| Wed, 26 Feb 2020 16:08:05 +0100 | wenzelm | merged | changeset | files |
| Wed, 26 Feb 2020 16:03:29 +0100 | wenzelm | updated for release; | changeset | files |
| Wed, 26 Feb 2020 15:41:27 +0100 | wenzelm | updated version; | changeset | files |