From fcb38129563b2bacf5f597bde4444d62c3e78c92 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Sun, 20 Jan 2013 20:52:14 +0000 Subject: - implement retract from prooftree --- doc/ProofGeneral.texi | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/ProofGeneral.texi') diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 628fae0f..30e19cfc 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -3158,6 +3158,8 @@ dependencies. given existential variable. @item Snapshots of proof trees for reference when you retract your proof to try a different approach. +@item Trigger a retract (undo) operation with a selected sequent +as target. @end itemize For a more elaborated description please consult the help dialog -- cgit v1.2.3