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