diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
| commit | b35ce5388cfbd86b2be92e7acb56ff4aa215f58a (patch) | |
| tree | aa6f57349bb07993bf80136e6dd18a8fe0e6ea84 /pgshell | |
| parent | 41a4f20e3250cbe225fb8363738a6c6ac35d0368 (diff) | |
Clean whitespace
Diffstat (limited to 'pgshell')
| -rw-r--r-- | pgshell/pgshell.el | 6 |
1 files changed, 3 insertions, 3 deletions
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 |