| Thu, 12 May 2011 15:29:18 +0200 | blanchet | added "max_mono_instances" option to Sledgehammer and renamed old "monomorphize_limit" option | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | allow each slice to have its own type system | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | renamed type systems for more consistency | changeset | files |
| Thu, 12 May 2011 16:46:49 +0200 | wenzelm | updated versions; | changeset | files |
| Thu, 12 May 2011 16:46:21 +0200 | wenzelm | added toplevel isabelle package -- reduce warnings with scala-2.9.0.final; | changeset | files |
| Thu, 12 May 2011 16:42:57 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 12 May 2011 16:28:46 +0200 | wenzelm | minor adaption for scala-2.9.0.final; | changeset | files |
| Thu, 12 May 2011 16:23:13 +0200 | wenzelm | proper configuration options Proof_Context.debug and Proof_Context.verbose; | changeset | files |