diff options
-rw-r--r-- | coq/coq-db.el | 5 | ||||
-rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 7 |
2 files changed, 7 insertions, 5 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 diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 6f8712a6..a75a8dd0 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -5,8 +5,11 @@ The code in this directory is taken from This is version 4.5.1-beta (dated 2003-05-11 15:00) No changes have been made for Proof General except the addition of the -string "[Proof General]" to x-symbol-version. The following -rearrangements from the package directory layout have been made: +string "[Proof General]" to x-symbol-version and the addition of +18pt and 24pt fonts [see etc/bigfonts] (thanks to Clemens Ballarin). + +The following rearrangements from the package directory layout have +been made: for f in etc lisp man; do mv $f/x-symbol/* $f; rmdir $f/x-symbol; done |