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

---
 easycrypt/easycrypt-abbrev.el | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'easycrypt/easycrypt-abbrev.el')

diff --git a/easycrypt/easycrypt-abbrev.el b/easycrypt/easycrypt-abbrev.el
index 3850ffb7..fa9cdcfc 100644
--- a/easycrypt/easycrypt-abbrev.el
+++ b/easycrypt/easycrypt-abbrev.el
@@ -1,3 +1,5 @@
+;;; easycrypt-abbrev.el --- Abbrev table and menus for EasyCrypt mode
+
 ;; --------------------------------------------------------------------
 ;; Copyright (c) - 2012--2016 - IMDEA Software Institute
 ;; Copyright (c) - 2012--2016 - Inria
@@ -5,9 +7,14 @@
 ;; Distributed under the terms of the GPL-v3 license
 ;; --------------------------------------------------------------------
 
+;;; Commentary:
+;; 
+
 (require 'proof)
 (require 'easycrypt-syntax)
 
+;;; Code:
+
 (defpgdefault menu-entries
   '(
     ["Use Three Panes" proof-three-window-toggle
@@ -23,3 +30,5 @@
 ))
 
 (provide 'easycrypt-abbrev)
+
+;;; easycrypt-abbrev.el ends here
-- 
cgit v1.2.3