From a7e139c5aa4b597f34d501efa283efe7732d893e Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 5 Jan 2015 11:39:30 +0000
Subject: Deleted file

---
 pghaskell/pghashell.el | 58 --------------------------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 pghaskell/pghashell.el

(limited to 'pghaskell')

diff --git a/pghaskell/pghashell.el b/pghaskell/pghashell.el
deleted file mode 100644
index ced3514f..00000000
--- a/pghaskell/pghashell.el
+++ /dev/null
@@ -1,58 +0,0 @@
-;; pgocaml.el - Proof General for Haskell scripts.
-;;
-;; David Aspinall.  $Id$
-;;
-;; This instance of PG is handy just for using script management to
-;; cut-and-paste into a buffer running Haskell (ghci)
-;;
-;; I'm providing this so that tool demonstrators may use it instead of
-;; tediously doing cut-and-paste of commands from a file.  No history
-;; management, and nothing to do with theorem proving really!
-;;
-;; To use this instance of PG, visit a file with the ".pghci" extension
-;; or type
-;;
-;;  M-x pgocaml-mode
-;;
-;; in an ordinary .ml file.  (Check that you have enabled the instance
-;; in proof-site.el).
-;;
-
-
-(require 'proof-easy-config)
-(require 'proof-syntax)
-
-(proof-easy-config 'pgocaml "PG-OCaml"
-
- proof-prog-name		     "ocaml"
- proof-terminal-string               ";;"
- proof-script-comment-start          "(*"
- proof-script-comment-end            "*)"
- proof-shell-annotated-prompt-regexp "^# "  ;; matches interpreter prompts
-
- ;; Syntax table suitable for OCaml; see Elisp documentation of `modify-syntax-entry'
- proof-script-syntax-table-entries
- '(?\` "\""
-   ?\$ "."
-   ?\/ "."
-   ?\\ "."
-   ?+  "."
-   ?-  "."
-   ?=  "."
-   ?%  "."
-   ?<  "."
-   ?>  "."
-   ?\& "."
-   ?.  "w"
-   ?_  "w"
-   ?\' "w"
-   ?\| "."
-   ?\* ". 23n"
-   ?\( "()1"
-   ?\) ")(4")
-
- ;; next setting is just to prevent warning
- proof-save-command-regexp	proof-no-regexp
- )
-
-(provide 'pgocaml)
-- 
cgit v1.2.3