| 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
|
| Mon, 20 Sep 2021 15:27:00 +0200 |
wenzelm |
more operations from Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 16 Sep 2021 18:59:59 +0200 |
wenzelm |
clarified operations: follow Isabelle/ML more closely;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 17:06:44 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 20:01:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 31 Aug 2021 13:54:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2021 21:45:05 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2021 21:41:37 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2021 21:10:13 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2021 13:16:22 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2021 23:11:20 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|
| Fri, 27 Aug 2021 21:56:42 +0200 |
wenzelm |
more Isabelle/Haskell;
|
file |
diff |
annotate
|
| Thu, 26 Aug 2021 23:23:16 +0200 |
wenzelm |
proper test for type constructor;
|
file |
diff |
annotate
|
| Thu, 26 Aug 2021 22:25:35 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|
| Thu, 26 Aug 2021 22:15:55 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|
| Wed, 25 Aug 2021 22:16:27 +0200 |
wenzelm |
more Isabelle/Haskell operations;
|
file |
diff |
annotate
|