diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-12 21:24:35 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 02:47:43 +0100 |
commit | 237529c9dc8b267175a3879cf23a77487611ca91 (patch) | |
tree | 2902eed1766d50422d25b3708637a836af7d09e5 | |
parent | 58cea1b8ffb02bc546ddb56a669d4094390d4809 (diff) |
Rename pg-init.el to proof-general.el
Close ProofGeneral/PG#385 and close ProofGeneral/PG#398
-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 |