Fri, 19 Jan 2018 19:41:28 +0100 |
wenzelm |
disable "display" style in marginal (line) comment;
|
file |
diff |
annotate
|
Fri, 19 Jan 2018 19:09:25 +0100 |
wenzelm |
more uniform output of source / text / theory_text, with handling of formal comments etc.;
|
file |
diff |
annotate
|
Fri, 19 Jan 2018 11:02:13 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
Wed, 17 Jan 2018 15:30:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 16 Jan 2018 11:27:52 +0100 |
wenzelm |
discontinued old form of marginal comments;
|
file |
diff |
annotate
|
Mon, 15 Jan 2018 22:46:04 +0100 |
wenzelm |
more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>;
|
file |
diff |
annotate
|
Sun, 14 Jan 2018 16:21:29 +0100 |
wenzelm |
allow LaTeX source as formal comment;
|
file |
diff |
annotate
|
Sun, 14 Jan 2018 14:11:02 +0100 |
wenzelm |
clarified modules: uniform notion of formal comments;
|
file |
diff |
annotate
|
Sat, 13 Jan 2018 20:01:33 +0100 |
wenzelm |
allow TeX comment % in formal comment body, but avoid extra space (cf. d7c6054b2ab1);
|
file |
diff |
annotate
|
Sat, 13 Jan 2018 11:22:46 +0100 |
wenzelm |
added \<^cancel> operator for unused text;
|
file |
diff |
annotate
|
Tue, 09 Jan 2018 19:25:01 +0100 |
wenzelm |
more accurate position for enclosing cartouche;
|
file |
diff |
annotate
|
Tue, 09 Jan 2018 17:09:34 +0100 |
wenzelm |
clarified markup: more like outer syntax side-comment;
|
file |
diff |
annotate
|
Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 08 Jan 2018 23:45:43 +0100 |
wenzelm |
theory Pure is default presentation context;
|
file |
diff |
annotate
|
Mon, 08 Jan 2018 16:06:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 08 Jan 2018 15:51:29 +0100 |
wenzelm |
check formal comments recursively, within arbitrary cartouches (unknown sublanguages);
|
file |
diff |
annotate
|
Mon, 08 Jan 2018 14:59:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 08 Jan 2018 14:28:41 +0100 |
wenzelm |
clarified output (see also 909dcdec2122, 34d1913f0b20);
|
file |
diff |
annotate
|
Mon, 08 Jan 2018 11:41:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 14:48:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 14:39:56 +0100 |
wenzelm |
more uniform output: formal comments within {* ... *};
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 14:16:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 13:54:45 +0100 |
wenzelm |
clarified output: avoid extra space;
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 13:45:21 +0100 |
wenzelm |
output token content with formal comments and antiquotations;
|
file |
diff |
annotate
|
Sat, 06 Jan 2018 21:25:16 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 06 Jan 2018 21:05:51 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 13 Dec 2017 16:18:40 +0100 |
wenzelm |
positions as postlude: avoid intrusion of odd %-forms into main tex source;
|
file |
diff |
annotate
|
Tue, 12 Dec 2017 17:46:22 +0100 |
wenzelm |
option document_positions;
|
file |
diff |
annotate
|
Tue, 12 Dec 2017 16:12:48 +0100 |
wenzelm |
simplified positions -- line is also human-readable in generated .tex file;
|
file |
diff |
annotate
|