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