From b768c1a36e66bc1124bf100bc58ec006fb77ea7e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 09:53:16 +0000
Subject: Add keywords for possible benefit of finder package.

---
 generic/proof.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/proof.el b/generic/proof.el
index 9ec58d03..794f5445 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -1,10 +1,12 @@
-;;; proof.el --- Proof General loader.
+;;; proof.el --- Proof General theorem prover interface.
 ;;
 ;; Copyright (C) 1998-2009 LFCS Edinburgh.
 ;; Authors:   David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;            Thomas Kleymann and Dilip Sequeira
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; Keywords: languages
+;;
 ;; $Id$
 ;;
 ;;; Commentary:
-- 
cgit v1.2.3