Wed, 25 Mar 2020 17:33:46 +0100 clarified messages: indicate termination explicitly;
wenzelm [Wed, 25 Mar 2020 17:33:46 +0100] rev 71876
clarified messages: indicate termination explicitly;
Tue, 24 Mar 2020 13:43:29 +0100 avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT;
wenzelm [Tue, 24 Mar 2020 13:43:29 +0100] rev 71875
avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT;
Mon, 23 Mar 2020 13:26:35 +0100 Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
wenzelm [Mon, 23 Mar 2020 13:26:35 +0100] rev 71874
Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
Mon, 23 Mar 2020 12:29:40 +0100 updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
wenzelm [Mon, 23 Mar 2020 12:29:40 +0100] rev 71873
updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
Sun, 22 Mar 2020 22:03:48 +0100 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;
wenzelm [Sun, 22 Mar 2020 22:03:48 +0100] rev 71872
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 clarified signature: more direct Isabelle_Process.EXIT;
wenzelm [Thu, 02 Apr 2020 12:49:53 +0200] rev 71871
clarified signature: more direct Isabelle_Process.EXIT;
Thu, 02 Apr 2020 12:19:09 +0200 proper arguments of protocol function;
wenzelm [Thu, 02 Apr 2020 12:19:09 +0200] rev 71870
proper arguments of protocol function;
Wed, 01 Apr 2020 23:04:28 +0200 merged
wenzelm [Wed, 01 Apr 2020 23:04:28 +0200] rev 71869
merged
Wed, 01 Apr 2020 22:07:57 +0200 more robust: process stdout on Windows may contain CR;
wenzelm [Wed, 01 Apr 2020 22:07:57 +0200] rev 71868
more robust: process stdout on Windows may contain CR;
Wed, 01 Apr 2020 21:43:22 +0200 clarified signature;
wenzelm [Wed, 01 Apr 2020 21:43:22 +0200] rev 71867
clarified signature; more inlined protocol messages;
Wed, 01 Apr 2020 21:10:44 +0200 prefer system option: easier to make it default;
wenzelm [Wed, 01 Apr 2020 21:10:44 +0200] rev 71866
prefer system option: easier to make it default;
Wed, 01 Apr 2020 20:55:48 +0200 support multiple sessions, notably for "isabelle build -P -j2";
wenzelm [Wed, 01 Apr 2020 20:55:48 +0200] rev 71865
support multiple sessions, notably for "isabelle build -P -j2";
Wed, 01 Apr 2020 20:17:23 +0200 pretty formatting as in Isabelle/ML;
wenzelm [Wed, 01 Apr 2020 20:17:23 +0200] rev 71864
pretty formatting as in Isabelle/ML;
Wed, 01 Apr 2020 18:36:58 +0200 output prover messages;
wenzelm [Wed, 01 Apr 2020 18:36:58 +0200] rev 71863
output prover messages;
Wed, 01 Apr 2020 18:22:19 +0200 clarified signature;
wenzelm [Wed, 01 Apr 2020 18:22:19 +0200] rev 71862
clarified signature;
Wed, 01 Apr 2020 18:19:46 +0200 clarified signature: more robust;
wenzelm [Wed, 01 Apr 2020 18:19:46 +0200] rev 71861
clarified signature: more robust;
Wed, 01 Apr 2020 14:32:30 +0200 proper parent base;
wenzelm [Wed, 01 Apr 2020 14:32:30 +0200] rev 71860
proper parent base;
Wed, 01 Apr 2020 13:55:30 +0200 traditional print_mode for batch build;
wenzelm [Wed, 01 Apr 2020 13:55:30 +0200] rev 71859
traditional print_mode for batch build;
Wed, 01 Apr 2020 12:59:05 +0200 proper support for "isabelle build -P Pure";
wenzelm [Wed, 01 Apr 2020 12:59:05 +0200] rev 71858
proper support for "isabelle build -P Pure";
Wed, 01 Apr 2020 12:58:44 +0200 clarified signature: more robust bootstrap base;
wenzelm [Wed, 01 Apr 2020 12:58:44 +0200] rev 71857
clarified signature: more robust bootstrap base;
Wed, 01 Apr 2020 12:57:19 +0200 proper startup for Pure: its use_prelude produces stdout before stderr protocol init;
wenzelm [Wed, 01 Apr 2020 12:57:19 +0200] rev 71856
proper startup for Pure: its use_prelude produces stdout before stderr protocol init;
Wed, 01 Apr 2020 12:56:19 +0200 proper context for loading Pure;
wenzelm [Wed, 01 Apr 2020 12:56:19 +0200] rev 71855
proper context for loading Pure;
Tue, 31 Mar 2020 22:27:02 +0200 clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b";
wenzelm [Tue, 31 Mar 2020 22:27:02 +0200] rev 71854
clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b";
Tue, 31 Mar 2020 14:40:56 +0200 close socket explicitly (idempotent);
wenzelm [Tue, 31 Mar 2020 14:40:56 +0200] rev 71853
close socket explicitly (idempotent);
Tue, 31 Mar 2020 14:09:36 +0200 more robust message_context and shutdown, e.g. after errors in protocol loop (see also 3f02bc5a5a03);
wenzelm [Tue, 31 Mar 2020 14:09:36 +0200] rev 71852
more robust message_context and shutdown, e.g. after errors in protocol loop (see also 3f02bc5a5a03);
Wed, 01 Apr 2020 21:48:39 +0200 simplified code and proofs
nipkow [Wed, 01 Apr 2020 21:48:39 +0200] rev 71851
simplified code and proofs
Wed, 01 Apr 2020 18:05:02 +0200 automated proof
nipkow [Wed, 01 Apr 2020 18:05:02 +0200] rev 71850
automated proof
Tue, 31 Mar 2020 17:26:54 +0200 merged
nipkow [Tue, 31 Mar 2020 17:26:54 +0200] rev 71849
merged
Mon, 30 Mar 2020 19:50:01 +0200 clarified signature;
wenzelm [Mon, 30 Mar 2020 19:50:01 +0200] rev 71848
clarified signature;
Mon, 30 Mar 2020 19:39:11 +0200 more accurate treatment of errors;
wenzelm [Mon, 30 Mar 2020 19:39:11 +0200] rev 71847
more accurate treatment of errors;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip