From 46aebf7c30b09a7371f9dbbf2f4b7e1505429a38 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 12:08:56 +0000
Subject: Remove proof-shell-wakeup-char

---
 plastic/plastic.el | 2 --
 1 file changed, 2 deletions(-)

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index a6939f41..7707ee56 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -463,8 +463,6 @@ We assume that module identifiers coincide with file names."
 	proof-shell-assumption-regexp plastic-id
 	proof-shell-goal-regexp plastic-goal-regexp
 	pg-subterm-first-special-char ?\360
-	proof-shell-wakeup-char ?\371		;; only for first send?
-;;      proof-shell-wakeup-char nil		;; NIL turns off annotations.
 	pg-subterm-start-char ?\372
 	pg-subterm-sep-char ?\373
 	pg-subterm-end-char ?\374
-- 
cgit v1.2.3