Henrik Lissner
|
8a5ffc32f5
|
Bump to ProofGeneral/PG@2a17093
From ProofGeneral/PG@89829c2
Also removes pg-init hacks, as they no longer seem necessary after
ProofGeneral/PG@7371521
Hopefully fixes #2565
|
2020-02-20 16:55:19 -05:00 |
|
Henrik Lissner
|
a9402cfb55
|
Fix #2373: bring back package pinning
This needs some serious refactoring...
|
2020-01-25 19:02:00 -05:00 |
|
Henrik Lissner
|
4cc14389e8
|
PIN ALL THE PACKAGES
|
2020-01-14 22:32:11 -05:00 |
|
Patrick Elliott
|
5bfaabd99b
|
Proof-general is now on melpa
|
2018-09-06 01:29:01 +02:00 |
|
Patrick Elliott
|
d9f819dac4
|
Only make company features conditional
|
2018-08-27 12:57:07 +02:00 |
|
Patrick Elliott
|
dbca4eef12
|
Put company features behind conditional
|
2018-08-21 13:44:11 +02:00 |
|
Patrick Elliott
|
f5c1be44ba
|
Added quelpa recipe
|
2018-08-15 08:33:38 +02:00 |
|
Patrick Elliott
|
fa223ceafd
|
Added basic coq support
|
2018-08-14 23:21:55 +02:00 |
|