| 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 |