| Mon, 21 Jul 2014 16:58:12 +0200 | wenzelm | proper Swing buttons instead of active areas within text (by Lars Hupel); | 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, 25 Apr 2014 13:29:56 +0200 | wenzelm | replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time; | file | diff | annotate |
| Fri, 25 Apr 2014 12:59:33 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Fri, 25 Apr 2014 12:51:08 +0200 | wenzelm | clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; | file | diff | annotate |
| Thu, 03 Apr 2014 14:54:17 +0200 | wenzelm | more general prover operations; | file | diff | annotate |
| Thu, 03 Apr 2014 13:46:18 +0200 | wenzelm | more general prover operations; | file | diff | annotate |