| Fri, 06 Nov 2015 23:31:50 +0100 | wenzelm | more formal treatment of control symbols; | file | diff | annotate |
| Tue, 20 Oct 2015 23:03:46 +0200 | wenzelm | added isabelle update_cartouches option -t; | file | diff | annotate |
| Tue, 20 Oct 2015 20:45:33 +0200 | wenzelm | another antiquotation short form: undecorated cartouche as alias for @{text}; | file | diff | annotate |
| Mon, 19 Oct 2015 00:19:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 18 Oct 2015 17:24:24 +0200 | wenzelm | support control symbol antiquotations; | file | diff | annotate |
| Mon, 16 Mar 2015 16:59:59 +0100 | wenzelm | proper headers; | file | diff | annotate |
| Sun, 16 Feb 2014 15:38:08 +0100 | wenzelm | support ML antiquotations in Scala; | file | diff | annotate |
| Sun, 16 Feb 2014 14:18:14 +0100 | wenzelm | antiquotations within plain text: Scala version in accordance to ML; | file | diff | annotate |