| Wed, 23 Oct 2024 23:46:07 +0200 |
wenzelm |
misc tuning: more concise (or hermetic) pointfree style;
|
file |
diff |
annotate
|
| Wed, 23 Oct 2024 21:57:46 +0200 |
wenzelm |
provide rewrite_term_yoyo, which is analogous to Ast.normalize;
|
file |
diff |
annotate
|
| Wed, 23 Oct 2024 15:09:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 23 Oct 2024 14:59:06 +0200 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
| Wed, 23 Oct 2024 14:05:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 23 Oct 2024 13:58:29 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Mon, 21 Oct 2024 14:33:59 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 11 Dec 2023 13:03:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 15 Oct 2021 19:25:31 +0200 |
wenzelm |
discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2019 11:41:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Nov 2017 14:35:43 +0100 |
wenzelm |
updated to scala-2.12.4;
|
file |
diff |
annotate
|
| Thu, 04 Dec 2014 16:51:54 +0100 |
haftmann |
turn application-specific Pattern.matches_subterm into an application-private function
|
file |
diff |
annotate
|
| Fri, 21 Nov 2014 22:59:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Nov 2014 18:14:39 +0100 |
wenzelm |
removed some add-ons from modules that are relevant for the inference kernel;
|
file |
diff |
annotate
|