Mon, 09 Nov 2015 22:16:04 +0100 wenzelm prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;
Mon, 09 Nov 2015 21:04:49 +0100 wenzelm uniform mandatory qualifier for all locale expressions, including 'statespace' parent;
Mon, 09 Nov 2015 15:48:17 +0100 wenzelm qualifier is mandatory by default;
Mon, 09 Nov 2015 13:49:56 +0100 wenzelm prefer explicit State panel;
Mon, 09 Nov 2015 13:49:29 +0100 wenzelm suppress already persistent state output as well;
Sun, 08 Nov 2015 14:41:07 +0100 wenzelm added option timeout_scale;
Sat, 07 Nov 2015 20:04:09 +0100 wenzelm syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
Sat, 07 Nov 2015 16:05:28 +0100 wenzelm clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);
Sat, 07 Nov 2015 15:23:26 +0100 wenzelm tuned;
Sat, 07 Nov 2015 13:13:23 +0100 wenzelm less confusing markup;
Sat, 07 Nov 2015 12:53:22 +0100 wenzelm added @{undefined} with somewhat undefined symbol;
Sat, 07 Nov 2015 00:28:42 +0100 wenzelm ML cartouches via control antiquotation;
Fri, 06 Nov 2015 23:31:50 +0100 wenzelm more formal treatment of control symbols;
Fri, 06 Nov 2015 23:31:11 +0100 wenzelm more antiquotations;
Fri, 06 Nov 2015 21:49:02 +0100 wenzelm more antiquotations;
Fri, 06 Nov 2015 19:46:00 +0100 wenzelm retain traditional rendering of \<paragraph>;
Fri, 06 Nov 2015 19:37:51 +0100 wenzelm added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
Fri, 06 Nov 2015 18:15:35 +0100 wenzelm tuned;
Fri, 06 Nov 2015 14:43:05 +0100 nipkow tuned
Thu, 05 Nov 2015 18:38:08 +0100 nipkow tuned
Thu, 05 Nov 2015 11:59:45 +0100 fleury updating options to verit
Thu, 05 Nov 2015 10:39:59 +0100 wenzelm isabelle update_cartouches -c -t;
Thu, 05 Nov 2015 10:39:49 +0100 wenzelm isabelle update_cartouches -c -t;
Thu, 05 Nov 2015 10:35:37 +0100 wenzelm IsabelleText for unusual symbol;
Thu, 05 Nov 2015 10:34:34 +0100 wenzelm isabelle update_cartouches -c;
Thu, 05 Nov 2015 08:27:22 +0100 nipkow merged
Thu, 05 Nov 2015 08:27:14 +0100 nipkow Convertd to 3-way comparisons
Thu, 05 Nov 2015 00:17:13 +0100 wenzelm isabelle update_cartouches -c;
Thu, 05 Nov 2015 00:02:30 +0100 wenzelm symbolic syntax "\<comment> text";
Wed, 04 Nov 2015 23:27:00 +0100 wenzelm avoid ligatures;
Wed, 04 Nov 2015 22:08:07 +0100 wenzelm added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
Wed, 04 Nov 2015 20:35:58 +0100 wenzelm tuned whitespace;
Wed, 04 Nov 2015 20:18:46 +0100 wenzelm tuned whitespace;
Wed, 04 Nov 2015 19:52:38 +0100 wenzelm tuned whitespace;
Wed, 04 Nov 2015 18:35:50 +0100 wenzelm updated;
Wed, 04 Nov 2015 18:32:47 +0100 wenzelm more antiquotations;
Wed, 04 Nov 2015 18:14:28 +0100 wenzelm document antiquotation @{footnote};
Wed, 04 Nov 2015 17:14:17 +0100 wenzelm dummy input handler to imitate former read-only mode, which has changed its meaning in jedit-5.3.0 as mere hint for saving;
Wed, 04 Nov 2015 15:07:23 +0100 blanchet eliminated Nitpick's pedantic support for 'emdash'
Wed, 04 Nov 2015 14:40:18 +0100 wenzelm tuned;
Wed, 04 Nov 2015 11:53:22 +0100 wenzelm NEWS;
Wed, 04 Nov 2015 08:13:52 +0100 ballarin Keyword 'rewrites' identifies rewrite morphisms.
Wed, 04 Nov 2015 08:13:49 +0100 ballarin Qualifiers in locale expressions default to mandatory regardless of the command.
Tue, 03 Nov 2015 18:11:59 +0100 wenzelm merged
Tue, 03 Nov 2015 17:53:09 +0100 wenzelm tuned signature;
Tue, 03 Nov 2015 17:41:13 +0100 wenzelm prefer Isabelle/Scala Future;
Tue, 03 Nov 2015 16:49:44 +0100 wenzelm prefer Isabelle/Scala Future;
Tue, 03 Nov 2015 16:47:37 +0100 wenzelm tuned imports;
Tue, 03 Nov 2015 16:35:38 +0100 wenzelm more direct task future implementation, with proper cancel operation;
Tue, 03 Nov 2015 16:35:00 +0100 wenzelm tuned;
Tue, 03 Nov 2015 14:03:44 +0100 wenzelm prefer ad-hoc non-worker threads;
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Tue, 03 Nov 2015 11:24:42 +0100 wenzelm cancel already running request;
Tue, 03 Nov 2015 15:24:24 +0100 eberlm added acknowledgement in Binomial.thy
Tue, 03 Nov 2015 11:20:21 +0100 eberlm Merged
Mon, 02 Nov 2015 16:17:09 +0100 eberlm Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer
Mon, 02 Nov 2015 21:58:38 +0100 blanchet don't pollute local theory with needless names
Mon, 02 Nov 2015 21:49:49 +0100 blanchet allow selectors and discriminators with same name as type
Mon, 02 Nov 2015 21:49:49 +0100 blanchet make sure that function types are never generated as '> @ A @ B', but always as 'A > B'
Mon, 02 Nov 2015 20:11:16 +0100 wenzelm merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip