From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 23 Aug 2018 00:01:12 +0200
Subject: Fix most doc issues raised by (checkdoc)

---
 phox/phox.el | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index 53a82a55..4b57650a 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,7 +80,6 @@
      "unfold_hyp")
    )
 
-
 ;; code for sisplaying unicode borrowed from
 ;; Erik Parmann, Pål Drange latex-pretty-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
-- 
cgit v1.2.3


From fd4ab1df3c55ea29e984d934f482bf9cc1966c9d Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 23 Aug 2018 00:01:38 +0200
Subject: Add link to the latex-pretty-symbols package mentioned by @craff

Fix the typo reported by @siddharthist as well
---
 phox/phox.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index 4b57650a..5c5674ed 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -80,9 +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)
-- 
cgit v1.2.3