Wed, 30 Apr 2014 12:12:44 +0200 tuned;
wenzelm [Wed, 30 Apr 2014 12:12:44 +0200] rev 56799
tuned;
Wed, 30 Apr 2014 15:43:44 +0200 Discontinued old spark_open; spark_open_siv is now spark_open
berghofe [Wed, 30 Apr 2014 15:43:44 +0200] rev 56798
Discontinued old spark_open; spark_open_siv is now spark_open
Tue, 29 Apr 2014 22:52:15 +0200 suppress slightly odd completions of "real";
wenzelm [Tue, 29 Apr 2014 22:52:15 +0200] rev 56797
suppress slightly odd completions of "real";
Tue, 29 Apr 2014 22:50:55 +0200 tuned proofs;
wenzelm [Tue, 29 Apr 2014 22:50:55 +0200] rev 56796
tuned proofs;
Tue, 29 Apr 2014 21:54:26 +0200 tuned proofs;
wenzelm [Tue, 29 Apr 2014 21:54:26 +0200] rev 56795
tuned proofs;
Tue, 29 Apr 2014 21:29:36 +0200 clarified exit sequence: prover is reset afterwards, no more output messages;
wenzelm [Tue, 29 Apr 2014 21:29:36 +0200] rev 56794
clarified exit sequence: prover is reset afterwards, no more output messages;
Tue, 29 Apr 2014 21:11:24 +0200 more synchronized treatment of prover process, which might emit more messages before shutdown and requires manager to accept them;
wenzelm [Tue, 29 Apr 2014 21:11:24 +0200] rev 56793
more synchronized treatment of prover process, which might emit more messages before shutdown and requires manager to accept them;
Tue, 29 Apr 2014 20:40:44 +0200 tuned;
wenzelm [Tue, 29 Apr 2014 20:40:44 +0200] rev 56792
tuned;
Tue, 29 Apr 2014 16:14:27 +0200 some sanity checks for Isabelle sources;
wenzelm [Tue, 29 Apr 2014 16:14:27 +0200] rev 56791
some sanity checks for Isabelle sources;
Tue, 29 Apr 2014 16:02:02 +0200 prefer plain ASCII / latex over not-so-universal Unicode;
wenzelm [Tue, 29 Apr 2014 16:02:02 +0200] rev 56790
prefer plain ASCII / latex over not-so-universal Unicode;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip