From ac4fe82a0faed262fb2895b2993e4a2c3a2a2fa7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Aug 2009 14:10:46 +0000
Subject: rename: proof-full-decoration -> proof-full-annotation

---
 generic/proof-menu.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 4eac1286..ed71aa31 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -297,9 +297,9 @@ without adjusting window layout."
       :style toggle
       :selected proof-script-fly-past-comments
       :help "Coalesce and skip over successive comments"]
-     ["Full Decoration" proof-full-decoration-toggle
+     ["Full Annotation" proof-full-annotation-toggle
       :style toggle
-      :selected proof-full-decoration
+      :selected proof-full-annotation
       :help "Record full information to decorate scripts (may cause slowdown)"]
      ["Disppearing Proofs" proof-disappearing-proofs-toggle 
       :style toggle
-- 
cgit v1.2.3