diff options
| -rw-r--r-- | proof-general.el (renamed from pg-init.el) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pg-init.el b/proof-general.el index 0634de0b..73820f9e 100644 --- a/pg-init.el +++ b/proof-general.el @@ -1,4 +1,4 @@ -;;; pg-init.el --- PG init file for package.el and ELPA compatibility -*- lexical-binding:t; -*- +;;; proof-general.el --- PG init file for package.el and ELPA compatibility -*- lexical-binding: t; -*- ;; This file is part of Proof General. @@ -65,5 +65,5 @@ (dolist (dir byte-compile-directories) (add-to-list 'load-path (expand-file-name dir root))))) -(provide 'pg-init) -;;; pg-init.el ends here +(provide 'proof-general) +;;; proof-general.el ends here |