| Sun, 23 Jun 2013 21:15:42 +0200 | wenzelm | detach process more reliably -- NB: viewer might be synchronous or asynchronous depending on settings; | file | diff | annotate |
| Sun, 23 Jun 2013 20:12:01 +0200 | wenzelm | Scala version of "isabelle doc"; | file | diff | annotate |