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