diff options
| -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: |