Sun, 15 Mar 2020 11:32:56 +0100 traytel [mq]: noworkaround draft
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;
Tue, 10 Mar 2020 14:16:19 +0100 Manuel Eberl updated NEWS w.r.t. e0237f2eb49d
Sun, 08 Mar 2020 17:07:49 +0000 haftmann more frugal simp rules for bit operations; more pervasive use of bit selector
Mon, 09 Mar 2020 19:35:07 +0100 wenzelm more scalable output of YXML files;
Mon, 09 Mar 2020 16:58:23 +0100 wenzelm proper grounding of free types produced by reconstruct_proof/infer_type, e.g. relevant for Lattices_Big.semilattice_set.infinite;
Mon, 09 Mar 2020 16:12:53 +0100 wenzelm tuned;
Mon, 09 Mar 2020 15:50:24 +0100 wenzelm tuned whitespace;
Mon, 09 Mar 2020 15:38:52 +0100 wenzelm more thorough strip_shyps for proof boxes (but types are usually stripped and reconstructed later);
Mon, 09 Mar 2020 14:30:09 +0100 wenzelm clarified;
Mon, 09 Mar 2020 14:13:44 +0100 wenzelm tuned signature;
Mon, 09 Mar 2020 13:03:42 +0100 wenzelm tuned signature;
Mon, 09 Mar 2020 11:52:28 +0100 wenzelm tuned signature;
Sat, 07 Mar 2020 12:19:41 +0100 wenzelm tuned;
Sat, 07 Mar 2020 12:15:15 +0100 wenzelm copy jEdit sources instead of jar, for better browsing experience;
Sat, 07 Mar 2020 12:14:51 +0100 wenzelm proper option;
Fri, 06 Mar 2020 22:01:28 +0100 wenzelm tuned;
Fri, 06 Mar 2020 20:33:16 +0100 wenzelm formally depend on Java 11 --- discontinue Java 8 workaround;
Fri, 06 Mar 2020 20:18:21 +0100 wenzelm support Java/VM monitoring via jconsole;
Wed, 04 Mar 2020 21:09:02 +0100 wenzelm escape some special chars, notably for URL#NAME form;
Tue, 03 Mar 2020 19:26:24 +0000 haftmann library theory for extractions of equations x = t into premises
Tue, 03 Mar 2020 19:26:23 +0000 haftmann tuned
Wed, 04 Mar 2020 15:38:02 +0100 wenzelm rebuild x86_64-linux on Ubuntu 14.04.6 LTS;
Tue, 03 Mar 2020 20:14:48 +0100 wenzelm merged
Tue, 03 Mar 2020 19:53:14 +0100 wenzelm include actions for jEdit dockables, e.g. "vfs.browser";
Tue, 03 Mar 2020 19:48:51 +0100 wenzelm misc tuning and clarification;
Mon, 02 Mar 2020 14:58:37 +0000 haftmann infrastructure for extraction of equations x = t from premises beneath meta-all
Tue, 03 Mar 2020 15:51:57 +0100 wenzelm avoid conflict with isabelle.next-error, resulting in odd startup dialog;
Tue, 03 Mar 2020 15:51:02 +0100 wenzelm updated for release;
Mon, 02 Mar 2020 15:45:37 +0100 wenzelm Added tag Isabelle2020-RC1 for changeset a8849ac415cc
Mon, 02 Mar 2020 15:33:58 +0100 wenzelm follow Phabricator update 2020 Week 6; Isabelle2020-RC1
Mon, 02 Mar 2020 14:09:39 +0100 wenzelm tuned signature;
Mon, 02 Mar 2020 13:57:03 +0100 wenzelm VSCode extension for official Isabelle release;
Mon, 02 Mar 2020 13:43:52 +0100 wenzelm more documentation;
Mon, 02 Mar 2020 13:43:39 +0100 wenzelm tuned GUI;
Sun, 01 Mar 2020 22:52:46 +0100 wenzelm clarified command line;
Sun, 01 Mar 2020 22:32:10 +0100 wenzelm proper navigation wrt. caret;
Sun, 01 Mar 2020 22:14:11 +0100 wenzelm clarified modifier: avoid confusion of CS+a as C+a;
Sun, 01 Mar 2020 22:05:47 +0100 wenzelm tuned -- avoid deprecated operations;
Sun, 01 Mar 2020 21:52:21 +0100 wenzelm more Isabelle/jEdit actions;
Sun, 01 Mar 2020 15:20:47 +0100 wenzelm updated for release;
Sat, 29 Feb 2020 17:16:17 +0100 wenzelm more Isabelle/jEdit actions;
Sat, 29 Feb 2020 16:38:59 +0100 wenzelm tuned signature;
Sat, 29 Feb 2020 16:30:30 +0100 wenzelm tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip