From 0e9241e75ed1082ae2397a198c4b8b8101fff54d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 6 Apr 2004 16:28:46 +0000
Subject: Comments

---
 pgshell/pgshell.el | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

(limited to 'pgshell')

diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el
index c94dba01..665c63d1 100644
--- a/pgshell/pgshell.el
+++ b/pgshell/pgshell.el
@@ -19,17 +19,16 @@
 
 (proof-easy-config 'pgshell "PG-Shell"
 
- proof-prog-name		 "/bin/sh"       ;; or choose your program
- proof-terminal-char             ?\;		 ;; better: parse the syntax
- proof-script-comment-start      "\#"
- proof-shell-annotated-prompt-regexp  "^.*[$] $" ;; matches shell prompts
+ proof-prog-name		     "/bin/sh"  ;; or your program
+ proof-terminal-char                 ?\;        ;; end of commands
+ proof-script-comment-start          "\#"	;; comments
+ proof-shell-annotated-prompt-regexp "^.*[$] $" ;; matches prompts
 
- proof-script-fly-past-comments  t	  ;; nice for single-line comments
+ proof-script-fly-past-comments  t	        ;; nice for single-line
 
- ;; Set syntax table to get font-locking and editing features for comments.
+ ;; Syntax table gets font-locking and editing features for comments.
  ;; see Elisp documentation of `modify-syntax-entry' 
- proof-script-syntax-table-entries  
- '(?\# "<" ?\n ">")
+ proof-script-syntax-table-entries '(?\# "<" ?\n ">")
 
  ;; next setting is just to prevent warning
  proof-save-command-regexp	proof-no-regexp
-- 
cgit v1.2.3