; prover9-mode.el: Extremely simple Emacs major mode for prover9 input files
;
; Copy this file to your site-lisp directory and add e.g. the following to your .emacs file:
;
;    (autoload 'prover9-mode "prover9-mode" "bla" t)
;    (setq auto-mode-alist (cons '("\\.prover9$" . prover9-mode) auto-mode-alist))


(defvar prover9-font-lock-keywords
  `(
    ("\\%.*$" .  font-lock-comment-face)
    ("\\b\\([Ff]ormulas\\|[lL]ist\\|[Ee]nd_of_list\\)\\b" . font-lock-keyword-face) 
    ("\\b[a-tA-Z][A-Za-z0-9_]*" . font-lock-constant-face ) ; won't work whith prolog-style variables
    ("\\.\\||". font-lock-warning-face)
    "Default font-lock-keywords voor prover9 mode."
  )
)

(defun prover9-mode ()
  "Een Emacs major mode om prover9 bestanden te bewerken"
  (interactive)
  (make-local-variable 'font-lock-defaults)
  (setq major-mode 'prover9-mode
	mode-name "prover9"
	font-lock-defaults '(prover9-font-lock-keywords nil)
	)
  (run-hooks 'prover9-mode-hook)
  )