From 8745d32b0be33418e9ada81001802185f00e7f90 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 17 Sep 2005 11:10:04 +0000
Subject: proof-shell-wakeup-char ?\^A

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 2ddad8cc..f1c7a801 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -182,7 +182,7 @@ See -k option for Isabelle interface script."
 (defun isar-shell-mode-config-set-variables ()
   "Configure generic proof shell mode variables for Isabelle/Isar."
   (setq
-   proof-shell-wakeup-char              nil
+   proof-shell-wakeup-char              ?\^A
    proof-shell-annotated-prompt-regexp  "^\\w*[>#] \^AS"
 
    ;; This pattern is just for comint.
-- 
cgit v1.2.3