| Thu, 26 Aug 1999 19:01:22 +0200 | wenzelm | back: recur flag; | file | diff | annotate |
| Tue, 06 Jul 1999 21:04:37 +0200 | wenzelm | removed nesting (unused); | file | diff | annotate |
| Fri, 21 May 1999 11:39:47 +0200 | wenzelm | adapted to History changes; | file | diff | annotate |
| 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 |