Sat, 28 Mar 2020 21:54:31 +0100 wenzelm merged
Sat, 28 Mar 2020 19:58:19 +0100 wenzelm tuned;
Sat, 28 Mar 2020 19:53:01 +0100 wenzelm tuned;
Sat, 28 Mar 2020 19:33:14 +0100 wenzelm tuned;
Sat, 28 Mar 2020 19:11:59 +0100 wenzelm eliminated pointless flag (see also 6533ceee4cd7);
Sat, 28 Mar 2020 18:33:25 +0100 wenzelm tuned;
Sat, 28 Mar 2020 17:27:08 +0000 paulson merged
Sat, 28 Mar 2020 17:27:01 +0000 paulson structured a lot of ancient, horrible proofs
Sat, 28 Mar 2020 14:01:45 +0100 wenzelm clarified Isabelle_Process phases;
Sat, 28 Mar 2020 13:40:55 +0100 wenzelm clarified order: update syslog before handling exit;
Sat, 28 Mar 2020 13:30:38 +0100 wenzelm tuned error message;
Sat, 28 Mar 2020 12:06:37 +0100 wenzelm clarified signature: more robust startup_join;
Fri, 27 Mar 2020 22:06:46 +0100 wenzelm merged
Fri, 27 Mar 2020 22:06:35 +0100 wenzelm tuned;
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Fri, 27 Mar 2020 13:04:15 +0100 wenzelm clarified signature;
Fri, 27 Mar 2020 13:02:56 +0100 wenzelm clarified signature;
Fri, 27 Mar 2020 12:46:56 +0100 wenzelm clarified signature;
Fri, 27 Mar 2020 12:28:55 +0100 wenzelm clarified signature;
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
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip