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-keywords.el | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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

diff --git a/easycrypt/easycrypt-keywords.el b/easycrypt/easycrypt-keywords.el
index e0b9d369..feb64fb1 100644
--- a/easycrypt/easycrypt-keywords.el
+++ b/easycrypt/easycrypt-keywords.el
@@ -1,3 +1,5 @@
+;;; easycrypt-keywords.el --- Definition of keywords for EasyCrypt mode
+
 ;; --------------------------------------------------------------------
 ;; Copyright (c) - 2012--2016 - IMDEA Software Institute
 ;; Copyright (c) - 2012--2016 - Inria
@@ -5,7 +7,12 @@
 ;; Distributed under the terms of the GPL-v3 license
 ;; --------------------------------------------------------------------
 
-; Generated on Tue Feb 21 23:37:34 2017
+;;; Commentary:
+;; 
+;; Generated on Tue Feb 21 23:37:34 2017
+;;
+
+;;; Code:
 
 (defvar easycrypt-bytac-keywords '(
   "exact"
@@ -175,3 +182,5 @@
 ))
 
 (provide 'easycrypt-keywords)
+
+;;; easycrypt-keywords.el ends here
-- 
cgit v1.2.3