| Fri, 05 Mar 2010 23:52:09 +0100 | wenzelm | tuned dead code; | changeset | files |
| Fri, 05 Mar 2010 23:51:32 +0100 | wenzelm | use regular Proof.goal (which is what methods usually see) and prevent sledgehammer from crashing; | changeset | files |
| Fri, 05 Mar 2010 23:31:58 +0100 | wenzelm | merged | changeset | files |
| Fri, 05 Mar 2010 13:33:17 -0800 | huffman | fix proof script so 'domain foo = Foo foo' works | changeset | files |
| Fri, 05 Mar 2010 13:27:40 -0800 | huffman | fix proof script so qdomain_isomorphism foo = foo' works | changeset | files |
| Fri, 05 Mar 2010 21:29:55 +0100 | wenzelm | finish browser_info: invoke isabelle browser -b to ensure that the jar really exists; | changeset | files |
| Fri, 05 Mar 2010 21:26:21 +0100 | wenzelm | isabelle browser -b: Admin/build only; | changeset | files |