2008-07-10 | wenzelm | change_lexicons: no verbosity; | changeset | files |
2008-07-10 | wenzelm | added Isar.undo, which emulates old-style undo on global tty state; | changeset | files |
2008-07-10 | wenzelm | provide old-style undo operation (still unused); | changeset | files |
Loading... |