From 77c055dc5cad5be9d30672182aea75fc4ae18b73 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 23 May 2006 15:29:13 +0000 Subject: Fix to remove mention of coding-system-for-write, coding-system-for-read not available on non-Mule compiles --- generic/proof-shell.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 9db2a3b3..d0ecc038 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -332,11 +332,11 @@ Does nothing if proof assistant is already running." ;; da: Unfortunately 'raw-text causes hangs with some Emacs, ;; since we get something not as raw as it was otherwise; ;; so leave it as it is, please - coding-system-for-read)) + (if (boundp 'coding-system-for-read) coding-system-for-read))) (coding-system-for-write (if proof-shell-unicode 'utf-8 ;; was: 'raw-text - coding-system-for-write))) + (if (boundp 'coding-system-for-write) coding-system-for-write)))) ;; An improvement here might be to catch failure of ;; make-comint and then kill off the buffer. Then we -- cgit v1.2.3