Wed, 09 Dec 2015 16:36:26 +0100 | wenzelm | clarified type Token.src: plain token list, with usual implicit value assignment; | file | diff | annotate |
Wed, 25 Nov 2015 15:58:22 +0100 | wenzelm | observe option "indent"; | file | diff | annotate |
Thu, 19 Nov 2015 22:06:14 +0100 | wenzelm | trim lines for @{theory_text} similarly to @{text}; | file | diff | annotate |
Thu, 19 Nov 2015 20:55:40 +0100 | wenzelm | tuned; | file | diff | annotate |
Fri, 13 Nov 2015 19:59:28 +0100 | wenzelm | added antiquotation @{doc}, e.g. useful for demonstration purposes; | file | diff | annotate |
Tue, 10 Nov 2015 23:21:02 +0100 | wenzelm | added @{command}, @{method}, @{attribute}; | file | diff | annotate |
Tue, 10 Nov 2015 21:31:14 +0100 | wenzelm | clarified modules; | file | diff | annotate |