| Fri, 21 Aug 2015 18:46:12 +0200 | wenzelm | more scalable GUI; | file | diff | annotate |
| Sun, 12 Apr 2015 13:10:04 +0200 | wenzelm | less ambitious collection of quasi-generic PIDE modules; | 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 |