From f7f93e02969164375f0a586f8c5c2fc1e83e342f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Nov 2000 13:22:38 +0000
Subject: Functions to process pgip commands.

---
 generic/pg-pgip.el | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 generic/pg-pgip.el

diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
new file mode 100644
index 00000000..5f4107ad
--- /dev/null
+++ b/generic/pg-pgip.el
@@ -0,0 +1,27 @@
+;; pg-pgip.el	 Functions for processing PGIP for Proof General
+;;
+;; Copyright (C) 2000 LFCS Edinburgh. 
+;;
+;; Author: David Aspinall <da@dcs.ed.ac.uk>
+;;
+;; $Id$
+;;
+;; Proof General Kit uses PGIP, an XML-message protocol
+;; for interactive proof.  This file contains functions 
+;; to process PGIP commands.
+;;
+
+(defun pg-pgip-process-cmd (pgip) 
+  "Process the command in PGIP, which should be parsed XML according to pg-xml-parse-*."
+  ;; blah blah
+  )
+
+(defpacustom goals-limit  10
+  "Setting for maximum number of goals printed in Isabelle."
+  :type 'integer
+  :setting "<pgip><setpref name=\"goals_limit\">%i</setpref></pgip>")
+
+
+;; End of `pg-pgip.el'
+
+
-- 
cgit v1.2.3