| Age | Commit message (Collapse) | Author |
|---|
|
* Document (in README.md) the proposed policy: supporting Emacsen from
the versions packaged in Debian Stable / Ubuntu LTS until their EOS.
|
|
load-file-name is not set to pg's source when compiling from doom-emacs
https://github.com/hlissner/doom-emacs/issues/2788
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
|
|
Revert proof-general.el to 05df29f7ff065d8da45b81691c602b6cf075e4a0/pg-init.el
(modulo comments).
|
|
The previous code raised some bytecomp errors when loading a ~/.emacs
containing a bootstrapped use-package proof-general config., such as:
```
(require 'package)
(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos))
(not (gnutls-available-p))))
(proto (if no-ssl "http" "https")))
(add-to-list 'package-archives
(cons "melpa" (concat proto "://melpa.org/packages/")) t))
(package-initialize)
;; Bootstrap use-package
(unless (package-installed-p 'use-package)
(package-refresh-contents)
(package-install 'use-package))
(eval-when-compile
(require 'use-package))
(use-package proof-general
:ensure t
:mode ("\\.v\\'" . coq-mode))
```
|
|
as this text should document the whole package and will be shown at
http://www.melpa.org/#/proof-general
href: https://github.com/ProofGeneral/PG/issues/198#issuecomment-419741803
|
|
as PG master is still under GPLv2 (while PG async already switched to GPLv3+)
href: https://github.com/ProofGeneral/PG/tree/fb3b75dab55b6e6befffc53e136422558be5faa0#contributing
|
|
Close ProofGeneral/PG#385 and close ProofGeneral/PG#398
|
