From 4634aede2ac4ad03007c0c66bdad8e85215789bd Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 9 May 2012 08:12:39 +0000 Subject: fix typo + add one missing cvsignore --- doc/ProofGeneral.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/ProofGeneral.texi') diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 1d0f156b..177601ff 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -3145,7 +3145,7 @@ dependencies. @item Mark proof commands that introduce or instantiate a given existential variable. @item Snapshots of proof trees for reference when you retract -your proof to try an different approach. +your proof to try a different approach. @end itemize For a more elaborated description please consult the help dialog -- cgit v1.2.3