Mon, 30 Mar 2009 12:25:52 +1100 | Timothy Bourke | Limit the number of results returned by auto_solves. | file | diff | annotate |
Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
Sun, 01 Mar 2009 14:45:23 +0100 | wenzelm | replaced archaic Display.pretty_fact by FindTheorems.pretty_thm, which observes the context properly (as did the former prt_fact already); | file | diff | annotate |
Fri, 27 Feb 2009 16:54:49 +0100 | wenzelm | observe some Isabelle/ML coding conventions; | file | diff | annotate |
Thu, 19 Feb 2009 23:55:10 +1100 | kleing | half auto_solve default time out; increase manually in PG for large projects | file | diff | annotate |
Wed, 11 Feb 2009 16:03:10 +1100 | kleing | Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke | file | diff | annotate |