Sat, 01 Apr 2017 22:03:24 +0200 |
wenzelm |
clarified YXML vs. symbol encoding: operate on whole message;
|
file |
diff |
annotate
|
Sat, 18 Mar 2017 22:11:05 +0100 |
wenzelm |
more informative session result;
|
file |
diff |
annotate
|
Sat, 18 Mar 2017 21:40:47 +0100 |
wenzelm |
simplified signature (despite 448325de6e4f);
|
file |
diff |
annotate
|
Sat, 18 Mar 2017 18:57:14 +0100 |
wenzelm |
proper message text (see also fa62e095d8f1);
|
file |
diff |
annotate
|
Mon, 13 Mar 2017 23:24:20 +0100 |
wenzelm |
more explicit Session.xml_cache;
|
file |
diff |
annotate
|
Mon, 03 Oct 2016 12:28:36 +0200 |
wenzelm |
clarified stream operations;
|
file |
diff |
annotate
|
Tue, 02 Aug 2016 18:45:34 +0200 |
wenzelm |
tuned signature -- prover-independence is presently theoretical;
|
file |
diff |
annotate
|
Tue, 02 Aug 2016 17:35:18 +0200 |
wenzelm |
support 'abbrevs' within theory header;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 14:44:11 +0100 |
wenzelm |
more abstract Session.start, without prover command-line;
|
file |
diff |
annotate
|
Sun, 14 Feb 2016 14:33:32 +0100 |
wenzelm |
more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude;
|
file |
diff |
annotate
|
Sun, 14 Feb 2016 13:15:59 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 03 Nov 2015 16:35:38 +0100 |
wenzelm |
more direct task future implementation, with proper cancel operation;
|
file |
diff |
annotate
|
Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
Tue, 17 Mar 2015 15:21:41 +0100 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 11:07:56 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 15 Mar 2015 19:21:15 +0100 |
wenzelm |
hybrid use of command blobs: inlined errors and auxiliary files;
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
Wed, 13 Aug 2014 10:46:14 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 18:54:53 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 18:36:43 +0200 |
wenzelm |
generic process wrapping in Prover;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 17:28:07 +0200 |
wenzelm |
more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 00:17:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 00:08:32 +0200 |
wenzelm |
separate module Command_Span: mostly syntactic representation;
|
file |
diff |
annotate
|
Mon, 11 Aug 2014 22:29:48 +0200 |
wenzelm |
more explicit type Span in Scala, according to ML version;
|
file |
diff |
annotate
|
Thu, 03 Apr 2014 21:08:00 +0200 |
wenzelm |
clarified Version.syntax -- avoid guessing initial situation;
|
file |
diff |
annotate
|
Thu, 03 Apr 2014 20:53:35 +0200 |
wenzelm |
more abstract Prover.Syntax, as proposed by Carst Tankink;
|
file |
diff |
annotate
|
Thu, 03 Apr 2014 14:54:17 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|
Thu, 03 Apr 2014 13:49:37 +0200 |
wenzelm |
tuned signature -- pro forma;
|
file |
diff |
annotate
|
Thu, 03 Apr 2014 13:46:18 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|