| Tue, 20 Dec 2016 08:53:26 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 11 Aug 2016 15:32:53 +0200 | wenzelm | suppress ASCII art; | file | diff | annotate |
| Fri, 05 Aug 2016 16:30:53 +0200 | wenzelm | Sidekick parser for isabelle-ml and sml mode; | file | diff | annotate |