diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:37:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-23 01:37:33 +0200 |
commit | 733cd24a7368ee186884da488da0f59bbedb627e (patch) | |
tree | e2a6832c08a6f058f423879c40c02fd924082af3 /phox/phox.el | |
parent | 26b3bf9f070e9aee45c6e3d19bca475d4ae8ed37 (diff) | |
parent | 7986697e7999e1d24356d459d64e7be5ee4c8da0 (diff) |
Merge pull request #380 from ProofGeneral/prepare-melpa
Prepare PG for MELPA
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/phox/phox.el b/phox/phox.el index 53a82a55..5c5674ed 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -1,6 +1,16 @@ -;; phox.el +;;; phox.el --- Major mode for the PhoX proof assistant + +;; This file is part of Proof General. + +;; Copyright © 2017 Christophe Raffalli + +;;; Commentary: +;; (require 'proof-site) + +;;; Code: + (proof-ready-for-assistant 'phox) (require 'proof) @@ -70,10 +80,9 @@ "unfold_hyp") ) - -;; code for sisplaying unicode borrowed from +;; code for displaying unicode borrowed from ;; Erik Parmann, Pål Drange latex-pretty-symbol - +;; cf. https://bitbucket.org/mortiferus/latex-pretty-symbols.el (require 'cl-lib) (defun substitute-pattern-with-unicode-symbol (pattern symbol) @@ -137,5 +146,6 @@ their unicode counterpart" (add-hook 'phox-goals-mode-hook 'phox-unicode-simplified) (add-hook 'phox-response-mode-hook 'phox-unicode-simplified) - (provide 'phox) + +;;; phox.el ends here |