| 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
|