| Tue, 30 Jul 2013 19:53:06 +0200 |
wenzelm |
tuned -- more uniform ML vs. Scala;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2013 22:04:57 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2013 21:54:43 +0200 |
wenzelm |
no need for raw stdin;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 20:34:15 +0200 |
wenzelm |
public Isabelle_Process.xml_cache (thread-safe);
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 20:27:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Sun, 18 Nov 2012 15:28:58 +0100 |
wenzelm |
update options via protocol;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2012 20:17:30 +0200 |
wenzelm |
more direct message header: eliminated historic encoding via single letter;
|
file |
diff |
annotate
|
| Wed, 19 Sep 2012 17:07:25 +0200 |
wenzelm |
earlier treatment of embedded report/no_report messages (see also 4110cc1b8f9f);
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 12:35:24 +0200 |
wenzelm |
tuned signature -- slightly more abstract text representation of prover process;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 20:49:17 +0200 |
wenzelm |
support for detached Bash_Job with some control operations;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 20:02:44 +0200 |
wenzelm |
support external processes with explicit environment;
|
file |
diff |
annotate
|
| Tue, 29 May 2012 21:48:05 +0200 |
wenzelm |
clarified prover startup: no timeout, read stderr more carefully;
|
file |
diff |
annotate
|
| Tue, 29 May 2012 21:03:11 +0200 |
wenzelm |
need to close_input before expecting threads to terminate/join;
|
file |
diff |
annotate
|