From 257d140db218b53f5469b4dd2a05557bc92db050 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 18 Nov 2002 22:01:49 +0000
Subject: Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 2b04a912..0775b018 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -227,6 +227,7 @@ See -k option for Isabelle interface script."
 
    ;; Isabelle is learning to talk PGIP...
    proof-shell-match-pgip-cmd		"<pgip"
+   proof-shell-issue-pgip-cmd		'isabelle-process-pgip
 
    ;; Some messages delimited by eager annotations
    proof-shell-clear-response-regexp    "Proof General, please clear the response buffer."
-- 
cgit v1.2.3