diff options
| -rw-r--r-- | generic/pg-pgip.el | 27 |
1 files changed, 27 insertions, 0 deletions
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' + + |