| Sat, 13 Jan 2018 11:22:46 +0100 |
wenzelm |
added \<^cancel> operator for unused text;
|
file |
diff |
annotate
|
| Mon, 08 Jan 2018 14:28:41 +0100 |
wenzelm |
clarified output (see also 909dcdec2122, 34d1913f0b20);
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 21:30:26 +0100 |
wenzelm |
more default tags;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 15:46:35 +0100 |
wenzelm |
more embedded cartouche arguments;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2017 15:55:14 +0100 |
wenzelm |
explicit tag for document commands: avoid implicit use of document_tags;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2016 14:10:33 +0100 |
wenzelm |
avoid extra space intruding rail diagrams (amending 4854f7ee0987);
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 21:55:15 +0200 |
wenzelm |
proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy);
|
file |
diff |
annotate
|
| Fri, 06 Nov 2015 23:31:50 +0100 |
wenzelm |
more formal treatment of control symbols;
|
file |
diff |
annotate
|
| 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
|