| Tue, 16 Oct 2012 20:35:24 +0200 | wenzelm | tuned messages; | changeset | files |
| Tue, 16 Oct 2012 20:23:00 +0200 | wenzelm | more proof method text position information; | changeset | files |
| Tue, 16 Oct 2012 17:47:23 +0200 | wenzelm | clarified defer/prefer: more specific errors; | changeset | files |
| Tue, 16 Oct 2012 16:50:03 +0200 | wenzelm | updated Toplevel.proofs; | changeset | files |
| Tue, 16 Oct 2012 15:14:12 +0200 | wenzelm | more informative errors for 'proof' and 'apply' steps; | changeset | files |
| Tue, 16 Oct 2012 15:02:49 +0200 | wenzelm | more friendly handling of Pure.thy bootstrap errors; | changeset | files |