| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | don't launch the automatic minimizer for zero facts | changeset | files |
| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | don't generate unsound proof error for missing proofs | changeset | files |
| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | renamed option to avoid talking about seconds, since this is now the default Isabelle unit | changeset | files |
| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | fixed format selection logic for Waldmeister | changeset | files |
| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | better default type system for Waldmeister, with fewer predicates (for types or type classes) | changeset | files |
| Wed, 08 Jun 2011 22:06:05 +0200 | wenzelm | simplified directory structure; | changeset | files |
| Wed, 08 Jun 2011 21:40:54 +0200 | wenzelm | simplified directory structure; | changeset | files |
| Wed, 08 Jun 2011 21:29:49 +0200 | wenzelm | further jedit build option; | changeset | files |