Thu, 20 May 2021 13:50:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 19 May 2021 21:42:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 12 May 2021 16:47:52 +0200 |
wenzelm |
clarified signature: provide access to previous state;
|
file |
diff |
annotate
|
Mon, 02 Mar 2020 14:09:39 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 03 Jun 2019 15:40:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 12 Apr 2019 17:09:21 +0200 |
wenzelm |
support "tag" marker with scope;
|
file |
diff |
annotate
|
Thu, 11 Apr 2019 21:33:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 11 Apr 2019 21:01:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
Sun, 24 Mar 2019 17:33:11 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 10 Mar 2019 21:31:28 +0100 |
wenzelm |
tuned -- Toplevel.presentation_context is total;
|
file |
diff |
annotate
|
Sun, 10 Mar 2019 21:12:29 +0100 |
wenzelm |
document markers are formal comments, and may thus occur anywhere in the command-span;
|
file |
diff |
annotate
|
Sun, 10 Mar 2019 00:21:34 +0100 |
wenzelm |
added semantic document markers;
|
file |
diff |
annotate
|
Sat, 09 Mar 2019 23:57:07 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 09 Mar 2019 13:19:13 +0100 |
wenzelm |
clarified Toplevel.state: more explicit types;
|
file |
diff |
annotate
|
Fri, 08 Mar 2019 17:05:23 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 19:03:13 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 17:42:49 +0200 |
wenzelm |
simplified: allow only command names, with dummy for default;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 17:25:57 +0200 |
wenzelm |
clarified: more uniform keyword_tags;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 17:24:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 16:35:05 +0200 |
wenzelm |
more flexible document_tags;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 14:39:49 +0200 |
wenzelm |
prefer explicit options;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 14:01:46 +0200 |
wenzelm |
clarified default tag;
|
file |
diff |
annotate
|
Thu, 21 Jun 2018 14:49:21 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 16 May 2018 15:18:18 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 14 May 2018 16:00:10 +0200 |
wenzelm |
tuned signature (see Command.eval_state);
|
file |
diff |
annotate
|
Mon, 14 May 2018 10:22:45 +0200 |
wenzelm |
more explicit type Thy_Output.segment;
|
file |
diff |
annotate
|
Sat, 03 Feb 2018 20:46:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 03 Feb 2018 20:34:26 +0100 |
wenzelm |
more uniform treatment of formal comments within document source;
|
file |
diff |
annotate
|
Sat, 03 Feb 2018 15:34:22 +0100 |
wenzelm |
just one check of formal comments;
|
file |
diff |
annotate
|
Sat, 03 Feb 2018 14:39:17 +0100 |
wenzelm |
avoid proliferation of language_document reports;
|
file |
diff |
annotate
|
Sat, 03 Feb 2018 13:54:04 +0100 |
wenzelm |
clarified overall range: include delimiters;
|
file |
diff |
annotate
|
Sun, 28 Jan 2018 19:28:52 +0100 |
wenzelm |
clarified take/drop/chop prefix/suffix;
|
file |
diff |
annotate
|
Thu, 25 Jan 2018 16:30:20 +0100 |
wenzelm |
verbatim output consists of plain lines;
|
file |
diff |
annotate
|
Thu, 25 Jan 2018 15:21:05 +0100 |
wenzelm |
more markup: disable spell-checker for raw latex;
|
file |
diff |
annotate
|
Thu, 25 Jan 2018 14:13:55 +0100 |
wenzelm |
clarified signature: items with \isasep are special;
|
file |
diff |
annotate
|
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
|