| Sat, 12 Jul 2025 07:36:38 +0200 |
haftmann |
always use proper context when parsing constants
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 20:20:27 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 13:50:06 +0200 |
haftmann |
tuned namespace organisation
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 13:50:06 +0200 |
haftmann |
optional external files as code modules
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 11:21:34 +0200 |
haftmann |
proper markup for target language code
|
file |
diff |
annotate
|
| Mon, 20 Jan 2025 22:15:11 +0100 |
haftmann |
explicitly report dependencies on missing code equations
|
file |
diff |
annotate
|
| Thu, 02 Jan 2025 08:37:55 +0100 |
haftmann |
refined syntax for code_reserved
|
file |
diff |
annotate
|
| Thu, 02 Jan 2025 08:37:52 +0100 |
haftmann |
explicit error message for non-existing code target
|
file |
diff |
annotate
|
| Mon, 10 Jun 2024 14:05:39 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2023 16:06:12 +0200 |
stuebinm |
code_target: create subdirectories for export_code file
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 16:05:07 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2022 21:50:32 +0200 |
wenzelm |
more scalable generated files and code export, using Bytes.T;
|
file |
diff |
annotate
|
| Mon, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:09:06 +0100 |
wenzelm |
more accurate markup (refining 1c59b555ac4a);
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2020 13:16:42 +0200 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2020 19:10:24 +0200 |
wenzelm |
clarified -- avoid non-standard extend/merge;
|
file |
diff |
annotate
|
| Sat, 02 Nov 2019 12:02:27 +0100 |
wenzelm |
more scalable protocol_message: use XML.body directly (Output.output hook is not required);
|
file |
diff |
annotate
|
| Mon, 01 Apr 2019 21:51:46 +0200 |
wenzelm |
tuned signature -- more exports;
|
file |
diff |
annotate
|
| Sat, 30 Mar 2019 20:54:47 +0100 |
wenzelm |
clarified signature: more explicit type Path.binding;
|
file |
diff |
annotate
|
| Fri, 29 Mar 2019 13:42:17 +0100 |
wenzelm |
clarified 'file_prefix';
|
file |
diff |
annotate
|