| Wed, 17 Mar 1999 13:39:44 +0100 | wenzelm | added apply_cond_open; | file | diff | annotate |
| Sat, 21 Nov 1998 12:17:18 +0100 | wenzelm | added undos, redos; | file | diff | annotate |
| Mon, 09 Nov 1998 15:33:32 +0100 | wenzelm | Histories of proof states, with undo / redo and prev / back. | file | diff | annotate |