| Tue, 26 Mar 2024 21:34:08 +0100 |
wenzelm |
more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
|
file |
diff |
annotate
|
| Sun, 09 Jul 2023 17:39:46 +0200 |
wenzelm |
more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax;
|
file |
diff |
annotate
|
| Wed, 10 May 2023 20:30:46 +0200 |
wenzelm |
more informative position information;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 22:24:01 +0100 |
wenzelm |
proper language context;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 19:47:02 +0100 |
wenzelm |
more operations: use proper constants;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 19:16:24 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 19:07:18 +0100 |
wenzelm |
more explicit language context;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 17:14:59 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2023 20:09:08 +0100 |
wenzelm |
avoid confusion of markup element vs. property names;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2023 19:48:47 +0100 |
wenzelm |
clarified Latex markup: optional cite "location" consists of nested document text;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2023 16:01:49 +0100 |
wenzelm |
more explicit latex markup;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 11:04:54 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 12:38:00 +0200 |
wenzelm |
removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file();
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|