| Thu, 20 Apr 2023 11:57:34 +0200 | wenzelm | clarified signature: explicitly distinguish theory_base_name vs. theory_long_name; | 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 |
| Sun, 27 Mar 2022 19:27:52 +0000 | haftmann | prefer build combinator | file | diff | annotate |
| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Tue, 28 Sep 2021 22:39:27 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Sun, 21 Jul 2019 12:28:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 01 Apr 2019 21:58:45 +0200 | wenzelm | 'code_reflect' only supports new-style 'file_prefix'; | file | diff | annotate |