| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 20:38:08 +0200 |
wenzelm |
clean message more thoroughly;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 16:16:05 +0200 |
wenzelm |
shared output primitives of physical/virtual Pure;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 22:37:31 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Feb 2016 21:10:13 +0100 |
wenzelm |
suppress empty messages as in ML;
|
file |
diff |
annotate
|
| Tue, 10 Mar 2015 20:12:30 +0100 |
wenzelm |
more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2014 15:19:05 +0200 |
wenzelm |
clarified quasi-generic PIDE;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 20:01:45 +0200 |
wenzelm |
prefer scala.Console with its support for thread-local redirection;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 19:51:40 +0200 |
wenzelm |
tuned signature -- channels for diagnostic output for system tools means stderr;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
| Fri, 21 May 2010 14:53:19 +0200 |
wenzelm |
more abstract view on prover output messages;
|
file |
diff |
annotate
|