| Wed, 17 Oct 2012 14:58:04 +0200 | wenzelm | proper 'oops' to force sequential checking here, and avoid spurious *** Interrupt stemming from crash of forked outer syntax element; | changeset | files |
| Wed, 17 Oct 2012 14:39:00 +0200 | wenzelm | added Output "Detach" button; | changeset | files |
| Wed, 17 Oct 2012 14:20:54 +0200 | wenzelm | skipped proofs appear as "bad" without counting as error; | changeset | files |
| Wed, 17 Oct 2012 13:20:08 +0200 | wenzelm | more method position information, notably finished_pos after end of previous text; | changeset | files |
| Wed, 17 Oct 2012 10:46:14 +0200 | wenzelm | more formal markup; | changeset | files |
| Wed, 17 Oct 2012 10:45:43 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 17 Oct 2012 10:26:27 +0200 | wenzelm | more formal markup; | changeset | files |