| Sun, 18 Oct 2015 20:28:29 +0200 |
wenzelm |
clarified control antiquotations: decode control symbol to get name;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 21:15:10 +0200 |
wenzelm |
added 'paragraph', 'subparagraph';
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 19:47:34 +0200 |
wenzelm |
more explicit output of list items;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 14:21:00 +0200 |
wenzelm |
clarified control symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 17:10:36 +0200 |
wenzelm |
some control symbols for markup and formatting;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 16:09:35 +0100 |
wenzelm |
more flexibile \setisabellecontext, independently of header;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 15:27:37 +0100 |
wenzelm |
uniform heading commands work in any context, even in theory header;
|
file |
diff |
annotate
|
| Mon, 20 Oct 2014 16:52:36 +0200 |
wenzelm |
official support for "tt" style variants, avoid fragile \verb in LaTeX;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2014 16:17:01 +0100 |
wenzelm |
yet another attempt at actual underscore;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 15:36:54 +0200 |
wenzelm |
discontinued unused antiquotation blocks;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
| Wed, 12 Sep 2012 12:09:40 +0200 |
wenzelm |
discontinued experiment with literal replacement text in PDF (cf. b646316f8b3c, 2ff10e613689);
|
file |
diff |
annotate
|
| Sun, 27 Nov 2011 13:12:42 +0100 |
wenzelm |
refined "literal" document style, with some correspondence to actual text source;
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 15:22:58 +0200 |
wenzelm |
discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
|
file |
diff |
annotate
|