diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 09:53:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 09:53:16 +0000 |
| commit | b768c1a36e66bc1124bf100bc58ec006fb77ea7e (patch) | |
| tree | 837db8819ee2aefba77d4595eef41aaae4a11d2f /generic/proof.el | |
| parent | bf4ec2a34524e38417ee683fdbe288331d5fdb73 (diff) | |
Add keywords for possible benefit of finder package.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 4 |
1 files changed, 3 insertions, 1 deletions
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: |