| 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 |