| Wed, 15 Sep 2010 09:36:39 +0200 | bulwahn | adding option show_invalid_clauses for a more detailed message when modes are not inferred | file | diff | annotate |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | towards time limiting the prolog execution | file | diff | annotate |