Fri, 27 Mar 2020 12:15:26 +0100 wenzelm tuned;
Fri, 27 Mar 2020 12:13:39 +0100 wenzelm clarified signature: more accurate session_base_info.sessions_structure;
Fri, 27 Mar 2020 12:03:20 +0100 wenzelm clarified signature;
Fri, 27 Mar 2020 12:28:05 +0100 nipkow added lemma
Wed, 25 Mar 2020 14:00:23 +0000 paulson merged
Wed, 25 Mar 2020 12:37:57 +0000 paulson updated to more modern style
Mon, 23 Mar 2020 16:11:41 +0100 wenzelm updated to scala-2.12.11;
Mon, 23 Mar 2020 10:26:08 +0000 paulson merged
Mon, 23 Mar 2020 10:25:56 +0000 paulson put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2
Sun, 22 Mar 2020 19:31:13 +0000 paulson merged
Sun, 22 Mar 2020 19:02:39 +0000 paulson new-style Greater lemmas
Sun, 22 Mar 2020 17:21:16 +0000 paulson tidying up some horrible proofs
Sun, 22 Mar 2020 22:03:48 +0100 wenzelm avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
Sun, 22 Mar 2020 15:10:38 +0100 wenzelm tuned;
Sat, 21 Mar 2020 22:12:21 +0100 wenzelm merged;
Sat, 21 Mar 2020 21:41:13 +0100 wenzelm more NEWS;
Sat, 21 Mar 2020 21:12:07 +0100 wenzelm delete Isabelle distribution archive after use;
Sat, 21 Mar 2020 20:57:34 +0100 wenzelm documentation for "isabelle build_docker";
Sat, 21 Mar 2020 16:23:20 +0100 wenzelm updated for release;
Sat, 21 Mar 2020 15:51:05 +0100 wenzelm tuned bib;
Sat, 21 Mar 2020 15:47:45 +0100 wenzelm more documentation on view.antiAlias, not just NEWS;
Fri, 20 Mar 2020 22:41:49 +0100 wenzelm more NEWS;
Fri, 20 Mar 2020 20:23:40 +0100 wenzelm avoid premature crash due to missing session parents/imports;
Fri, 20 Mar 2020 19:55:42 +0100 wenzelm avoid accidental update of base session sources (following documentation in "system" manual);
Fri, 20 Mar 2020 16:21:58 +0100 wenzelm avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);
Fri, 20 Mar 2020 11:35:33 +0100 wenzelm prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);
Wed, 18 Mar 2020 20:04:50 +0100 wenzelm slightly more explicit error, without going into the graph of proof futures;
Wed, 18 Mar 2020 18:06:36 +0100 wenzelm more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
Wed, 18 Mar 2020 17:44:27 +0100 wenzelm prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf;
Wed, 18 Mar 2020 17:29:20 +0100 wenzelm tuned documentation, based on hints by Pedro Sánchez Terraf;
Wed, 18 Mar 2020 16:46:07 +0100 wenzelm backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
Thu, 19 Mar 2020 11:57:43 +0100 wenzelm back to old-style names for uniform sorting of build_status (amending 138e8226961e);
Thu, 19 Mar 2020 11:27:54 +0100 wenzelm support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
Wed, 18 Mar 2020 22:22:16 +0100 wenzelm clarified connection parameters (again, after adjusting $HOME/.ssh configuration);
Wed, 18 Mar 2020 22:10:29 +0100 wenzelm clarified output;
Mon, 16 Mar 2020 23:02:55 +0100 wenzelm proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
Mon, 16 Mar 2020 17:03:04 +0100 wenzelm clarified connection parameters;
Sun, 15 Mar 2020 15:00:22 +0100 wenzelm clarified test;
Sun, 15 Mar 2020 13:41:33 +0100 traytel remove Thm.transfer workaround made obsplete by cf2406e654cf
Sun, 15 Mar 2020 13:20:22 +0100 wenzelm back to post-release mode;
Sun, 15 Mar 2020 11:57:59 +0100 wenzelm Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
Sun, 15 Mar 2020 11:55:16 +0100 wenzelm claried error elements: include internalized errors of tokens/commands;
Sun, 15 Mar 2020 11:38:36 +0100 wenzelm more robust connection via proxy_host;
Sat, 14 Mar 2020 21:58:29 +0100 wenzelm more robust: proper transfer if Context.eq_thy_id;
Sat, 14 Mar 2020 20:36:16 +0100 wenzelm merged
Sat, 14 Mar 2020 14:23:52 +0100 wenzelm tuned;
Sat, 14 Mar 2020 13:49:52 +0100 wenzelm tuned;
Sat, 14 Mar 2020 13:44:52 +0100 wenzelm more robust hg_url;
Fri, 13 Mar 2020 23:50:18 +0100 wenzelm proper usage (amending 8c7706b053c7);
Fri, 13 Mar 2020 23:25:34 +0100 wenzelm proper escape for literal single quotes;
Fri, 13 Mar 2020 16:12:50 +0100 wenzelm some uses of "' " as witness for this feature;
Fri, 13 Mar 2020 16:04:27 +0100 wenzelm allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
Sat, 14 Mar 2020 15:58:51 +0000 paulson tidied up a few little proofs
Thu, 12 Mar 2020 23:05:11 +0100 wenzelm updated for release;
Thu, 12 Mar 2020 21:25:53 +0100 wenzelm more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;
Thu, 12 Mar 2020 21:13:42 +0100 wenzelm tuned for Isabelle2020;
Thu, 12 Mar 2020 21:02:05 +0100 wenzelm more explicit defaults;
Thu, 12 Mar 2020 20:58:18 +0100 wenzelm proper transfer for Thm.derivation_name;
Tue, 10 Mar 2020 22:52:21 +0100 wenzelm tuned OS names;
Tue, 10 Mar 2020 22:49:35 +0100 wenzelm standard tests for macOS 10.15 Catalina;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip