From 8c01bb830cdeb0f7556fcadc3483245c65b185b7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Aug 2012 11:43:02 +0000 Subject: Fix name in proof-easy-config, addressing Trac #441 --- pghaskell/pghaskell.el | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'pghaskell') 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 "*)" -- cgit v1.2.3