| Fri, 20 Sep 2024 19:07:10 +0200 |
wenzelm |
proper Haskell setup, following 406a85a25189;
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 14:28:13 +0200 |
wenzelm |
clarified signature: more explicit operations;
|
file |
diff |
annotate
|
| Sun, 21 Jul 2024 12:37:37 +0200 |
wenzelm |
clarified signature: more robust operations;
|
file |
diff |
annotate
|
| Fri, 19 Jul 2024 11:29:05 +0200 |
wenzelm |
clarified signature, following zterm.ML;
|
file |
diff |
annotate
|
| Sun, 14 Jul 2024 18:10:06 +0200 |
wenzelm |
clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);
|
file |
diff |
annotate
|
| Wed, 28 Feb 2024 23:50:22 +0100 |
wenzelm |
more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 16:59:00 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 10 May 2023 20:30:46 +0200 |
wenzelm |
more informative position information;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 20:26:42 +0100 |
wenzelm |
dismantle special treatment of citations in Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 10 Feb 2022 19:38:12 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Thu, 10 Feb 2022 19:31:07 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 09 Feb 2022 23:05:50 +0100 |
wenzelm |
provide cache for slow computations;
|
file |
diff |
annotate
|
| Wed, 09 Feb 2022 12:06:01 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Mon, 31 Jan 2022 10:01:50 +0100 |
wenzelm |
tuned -- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 02 Dec 2021 12:46:29 +0100 |
wenzelm |
tuned --- fewer IDE warnings;
|
file |
diff |
annotate
|