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