diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-09-07 20:24:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-07 20:24:30 +0000 |
commit | c9c9e4ab209b8736b648bf54a0a24c1e134fe12f (patch) | |
tree | 093fbd2280b2ea5a00fcd492d8400a8e726cfcd7 /coq/coq-db.el | |
parent | b4aa7f6d255aed4bdf80091102f89e2ee5e28cf0 (diff) |
Updated.
Diffstat (limited to 'coq/coq-db.el')
-rw-r--r-- | coq/coq-db.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index cf14c1cd..adfc889b 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -1,8 +1,7 @@ ;;; coq-db.el --- coq keywords database utility functions -;; Copyright (C) 1997, 1998 LFCS Edinburgh. -;; Authors: Thomas Kleymann and Healfdene Goguen +;; +;; Author: Pierre Courtieu <courtieu@lri.fr> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) -;; Maintainer: Pierre Courtieu <courtieu@lri.fr> ;;; We store all information on keywords (tactics or command) in big |