diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:08:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:08:32 +0000 |
| commit | 25ef3ad3da9ea029b3b1a4a9d4a72f4a6641f0cb (patch) | |
| tree | 1bf5e75649a0506965678dfbf1e466044fdd6454 | |
| parent | 422b77370c02f0251627d8f82eadcbc03c44f9b1 (diff) | |
Removed history, added branding.
| -rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -14,8 +14,8 @@ (setq tag-always-exact t) ; Tags is unusable with Coq library otherwise: (defgroup coq-settings nil - "Customization of Coq specific settings for proof mode." - :group 'proof) + "Customization of Coq specific settings for Proof General." + :group 'proof-general) (defvar coq-assistant "Coq" "Name of proof assistant") |