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