diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-08-09 11:43:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-08-09 11:43:02 +0000 |
commit | 8c01bb830cdeb0f7556fcadc3483245c65b185b7 (patch) | |
tree | eb1fa9159a76b5f8ec5834a7b7d8cc8f20af00f6 /pghaskell | |
parent | ded8b020e03380dd8fb9c2757ad73c9edc7c9783 (diff) |
Fix name in proof-easy-config, addressing Trac #441
Diffstat (limited to 'pghaskell')
-rw-r--r-- | pghaskell/pghaskell.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pghaskell/pghaskell.el b/pghaskell/pghaskell.el index 5a92256b..bab762ac 100644 --- a/pghaskell/pghaskell.el +++ b/pghaskell/pghaskell.el @@ -14,7 +14,7 @@ ;; ;; M-x pghaskell-mode ;; -;; in an ordinary .ml file. (Check that you have enabled the instance +;; in an ordinary .h file. (Check that you have enabled the instance ;; in proof-site.el). ;; @@ -22,10 +22,12 @@ (require 'proof-easy-config) (require 'proof-syntax) -(proof-easy-config 'pgocaml "PG-OCaml" +(proof-easy-config 'pghaskell "PG-Haskell" proof-prog-name "ghci" -;; BELOW HERE TODO TODO + +;; BELOW HERE TO COMPLETE + proof-terminal-string ";;" proof-script-comment-start "(*" proof-script-comment-end "*)" |