| 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 |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | adding dependencies to IsaMakefile; increasing negative search limit for predicate_compile_quickcheck; adding tracing of introduction rules in code_prolog | file | diff | annotate |