From b35ce5388cfbd86b2be92e7acb56ff4aa215f58a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 5 Sep 2009 10:42:23 +0000 Subject: Clean whitespace --- pgshell/pgshell.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'pgshell') diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el index 665c63d1..bdf5c0e3 100644 --- a/pgshell/pgshell.el +++ b/pgshell/pgshell.el @@ -10,11 +10,11 @@ ;; management, and 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-easy-config) (require 'proof-syntax) (proof-easy-config 'pgshell "PG-Shell" @@ -27,7 +27,7 @@ proof-script-fly-past-comments t ;; nice for single-line ;; Syntax table gets font-locking and editing features for comments. - ;; see Elisp documentation of `modify-syntax-entry' + ;; see Elisp documentation of `modify-syntax-entry' proof-script-syntax-table-entries '(?\# "<" ?\n ">") ;; next setting is just to prevent warning -- cgit v1.2.3