From 64565ae1a03d6f8aa3380ca04d521532b7906715 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 6 Apr 2004 15:40:55 +0000
Subject: Trivial instance of PG for shell scripts.

---
 pgshell/pgshell.el | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 pgshell/pgshell.el

(limited to 'pgshell/pgshell.el')

diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el
new file mode 100644
index 00000000..fe356432
--- /dev/null
+++ b/pgshell/pgshell.el
@@ -0,0 +1,29 @@
+;; pgshell.el - Proof General for shell scripts.
+;;
+;; David Aspinall.  $Id$
+;;
+;; This instance of PG is handy just for using script management to
+;; cut-and-paste into a buffer running an ordinary shell of some kind.
+;;
+;; I'm providing this so that tool demonstrators may use it instead of
+;; tediously doing cut-and-paste of commands from a file.  Nothing
+;; to do with theorem proving really!
+;;
+;; To use this instance of PG, visit a file with the ".pgsh" extension.
+;; 
+;; Feedback welcome.
+
+
+(require 'proof-easy-config)           
+(require 'proof-syntax)
+
+(proof-easy-config  'pgshell	"PG-Shell"
+ proof-prog-name		 "/bin/sh" ;; or choose your shell
+ proof-terminal-char             ?\;	   ;; better: parse the syntax
+ proof-script-comment-start      "\#"
+ proof-shell-annotated-prompt-regexp  "^.*[$] $" ;; matches shell prompts
+ ;; next settings are just to prevent warnings
+ proof-save-command-regexp	proof-no-regexp
+ )
+
+(provide 'pgshell)
-- 
cgit v1.2.3