Sat, 04 Apr 2020 20:06:15 +0200 wenzelm Standard_Thread for isabelle command-line tools;
Sat, 04 Apr 2020 19:30:45 +0200 wenzelm tuned -- Command_Line.tool is already part of Isabelle_Tool;
Sat, 04 Apr 2020 19:18:19 +0200 wenzelm clarified signature;
Sat, 04 Apr 2020 18:13:05 +0200 wenzelm clarified signature;
Sat, 04 Apr 2020 18:05:37 +0200 wenzelm thread pool with Standard_Thread workers;
Sat, 04 Apr 2020 17:50:56 +0200 wenzelm clarified signature;
Sat, 04 Apr 2020 13:45:21 +0200 wenzelm support for uninterruptible execution;
Fri, 03 Apr 2020 20:49:49 +0200 wenzelm tuned -- prefer Config.T over Data;
Fri, 03 Apr 2020 20:31:55 +0200 wenzelm proper "editor_tracing_messages=0" as in "isabelle dump";
Fri, 03 Apr 2020 20:29:54 +0200 wenzelm tuned;
Fri, 03 Apr 2020 20:27:52 +0200 wenzelm clarified build_options vs. job options;
Fri, 03 Apr 2020 18:26:04 +0200 wenzelm more official handling of protocol messages, including export;
Fri, 03 Apr 2020 17:35:10 +0200 wenzelm less redundant markup reports;
Fri, 03 Apr 2020 13:51:56 +0200 wenzelm more accurate context position reports;
Fri, 03 Apr 2020 12:45:14 +0200 wenzelm clarified signature;
Fri, 03 Apr 2020 11:47:08 +0200 wenzelm clarified signature;
Fri, 03 Apr 2020 11:37:00 +0200 wenzelm tuned;
Fri, 03 Apr 2020 11:29:44 +0200 wenzelm clarified signature;
Fri, 03 Apr 2020 11:22:51 +0200 wenzelm tuned signature;
Thu, 02 Apr 2020 20:37:11 +0200 wenzelm proper treatment of startup errors, notably for Pure ROOT.ML;
Thu, 02 Apr 2020 20:06:43 +0200 wenzelm proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
Thu, 02 Apr 2020 13:04:24 +0200 wenzelm merged
Thu, 02 Apr 2020 11:45:03 +0200 wenzelm Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
Sat, 28 Mar 2020 22:18:28 +0100 wenzelm more robust, notably wrt. interrupts;
Thu, 26 Mar 2020 11:48:52 +0100 wenzelm merged
Wed, 25 Mar 2020 17:38:22 +0100 wenzelm more NEWS;
Wed, 25 Mar 2020 17:33:46 +0100 wenzelm clarified messages: indicate termination explicitly;
Tue, 24 Mar 2020 13:43:29 +0100 wenzelm avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT;
Mon, 23 Mar 2020 13:26:35 +0100 wenzelm Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
Mon, 23 Mar 2020 12:29:40 +0100 wenzelm updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
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;
Thu, 02 Apr 2020 12:49:53 +0200 wenzelm clarified signature: more direct Isabelle_Process.EXIT;
Thu, 02 Apr 2020 12:19:09 +0200 wenzelm proper arguments of protocol function;
Wed, 01 Apr 2020 23:04:28 +0200 wenzelm merged
Wed, 01 Apr 2020 22:07:57 +0200 wenzelm more robust: process stdout on Windows may contain CR;
Wed, 01 Apr 2020 21:43:22 +0200 wenzelm clarified signature;
Wed, 01 Apr 2020 21:10:44 +0200 wenzelm prefer system option: easier to make it default;
Wed, 01 Apr 2020 20:55:48 +0200 wenzelm support multiple sessions, notably for "isabelle build -P -j2";
Wed, 01 Apr 2020 20:17:23 +0200 wenzelm pretty formatting as in Isabelle/ML;
Wed, 01 Apr 2020 18:36:58 +0200 wenzelm output prover messages;
Wed, 01 Apr 2020 18:22:19 +0200 wenzelm clarified signature;
Wed, 01 Apr 2020 18:19:46 +0200 wenzelm clarified signature: more robust;
Wed, 01 Apr 2020 14:32:30 +0200 wenzelm proper parent base;
Wed, 01 Apr 2020 13:55:30 +0200 wenzelm traditional print_mode for batch build;
Wed, 01 Apr 2020 12:59:05 +0200 wenzelm proper support for "isabelle build -P Pure";
Wed, 01 Apr 2020 12:58:44 +0200 wenzelm clarified signature: more robust bootstrap base;
Wed, 01 Apr 2020 12:57:19 +0200 wenzelm proper startup for Pure: its use_prelude produces stdout before stderr protocol init;
Wed, 01 Apr 2020 12:56:19 +0200 wenzelm proper context for loading Pure;
Tue, 31 Mar 2020 22:27:02 +0200 wenzelm clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b";
Tue, 31 Mar 2020 14:40:56 +0200 wenzelm close socket explicitly (idempotent);
Tue, 31 Mar 2020 14:09:36 +0200 wenzelm more robust message_context and shutdown, e.g. after errors in protocol loop (see also 3f02bc5a5a03);
Wed, 01 Apr 2020 21:48:39 +0200 nipkow simplified code and proofs
Wed, 01 Apr 2020 18:05:02 +0200 nipkow automated proof
Tue, 31 Mar 2020 17:26:54 +0200 nipkow merged
Tue, 31 Mar 2020 15:51:15 +0200 nipkow cleaned proofs
Mon, 30 Mar 2020 19:50:01 +0200 wenzelm clarified signature;
Mon, 30 Mar 2020 19:39:11 +0200 wenzelm more accurate treatment of errors;
Mon, 30 Mar 2020 11:59:44 +0200 wenzelm clarified modules: global quasi-scope for markers;
Mon, 30 Mar 2020 10:35:10 +0200 nipkow redunant simp rule
Sun, 29 Mar 2020 23:54:00 +0100 paulson merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip