| Thu, 10 Jul 2008 17:43:02 +0200 | wenzelm | tty interaction: do not move point after error; | changeset | files |
| Thu, 10 Jul 2008 17:26:27 +0200 | wenzelm | change_lexicons: no verbosity; | changeset | files |
| Thu, 10 Jul 2008 17:26:25 +0200 | wenzelm | added Isar.undo, which emulates old-style undo on global tty state; | changeset | files |
| Thu, 10 Jul 2008 17:26:23 +0200 | wenzelm | provide old-style undo operation (still unused); | changeset | files |
| Thu, 10 Jul 2008 17:26:22 +0200 | wenzelm | added prompt markup; | changeset | files |
| Thu, 10 Jul 2008 13:37:35 +0200 | wenzelm | @{lemma}: allow terminal method; | changeset | files |
| Thu, 10 Jul 2008 13:37:34 +0200 | wenzelm | @{lemma}: allow terminal method, close derivation unless (open) mode is given; | changeset | files |
| Thu, 10 Jul 2008 13:37:33 +0200 | wenzelm | added is_diag; | changeset | files |