Here's another patch.
This one is again more along the lines of mere cleanup.
Its goal is to reduce the amount of work done in proof-site, so Emacs
starts up a bit faster and is less impacted by the presence of PG in
those sessions where PG is actually not used.
Stefan
On 15/12/2018 20.06, Stefan Monnier wrote:
> Hopefully, the one below will go through better.
Indeed, this one applied smoothly. Thanks!
signature.asc
Description: OpenPGP digital signature
___
ProofGeneral-devel mailing list
>> Here's another,
> `git am` doesn't like this one :'(
Hopefully, the one below will go through better.
Sorry 'bout the incomplete removal of cl.el as well.
I made another round of checks and found a few more leftover uses.
Stefan
On 13/12/2018 22.58, Stefan Monnier wrote:
> Here's another,
`git am` doesn't like this one :'(
Applying: Fix remaining uses of CL; Make files more declarative
error: acl2/acl2.el: does not match index
error: coq/coq-autotest.el: does not match index
error: coq/coq-db.el: does not match index
> Pushed as well. Thanks!
[ Tant que je gagne, je joue! ]
Here's another,
Stefan
>From 5549c4751e7e73382d2bd088322a483df90f51c9 Mon Sep 17 00:00:00 2001
From: Stefan Monnier
Date: Thu, 13 Dec 2018 22:57:15 -0500
Subject: [PATCH] Fix remaining uses of CL; Make files more declarative
On 12/12/2018 15.27, Stefan Monnier wrote:
I'm happy to push it for you. Would you mind sending a copy as a `git
format-patch` attachment, so that the commit is properly attributed?
>>> Here it is,
>> Pushed, thanks. Looking forward to more neat patches :)
>
> Here's the next one.
>>> I'm happy to push it for you. Would you mind sending a copy as a `git
>>> format-patch` attachment, so that the commit is properly attributed?
>> Here it is,
> Pushed, thanks. Looking forward to more neat patches :)
Here's the next one.
`cl` is deprecated in favor of cl-lib, which is
