| Thu, 31 Mar 2011 11:16:52 +0200 | blanchet | added monomorphization option to Sledgehammer ATPs -- this looks promising but is still off by default | changeset | files |
| Thu, 31 Mar 2011 11:16:51 +0200 | blanchet | added support for "dest:" to "try" | changeset | files |
| Thu, 31 Mar 2011 09:43:36 +0200 | haftmann | corrected infix precedence for boolean operators in Haskell | changeset | files |
| Thu, 31 Mar 2011 08:28:03 +0200 | bulwahn | merged | changeset | files |
| Wed, 30 Mar 2011 19:09:57 +0200 | bulwahn | removing dead code in exhaustive_generators | changeset | files |
| Wed, 30 Mar 2011 19:09:56 +0200 | bulwahn | removing junk that should not have been committed | changeset | files |
| Wed, 30 Mar 2011 23:26:40 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 30 Mar 2011 22:53:18 +0200 | wenzelm | accomodate autofix discipline of non-body context; | changeset | files |