proof-general/Makefile, branch master Emacs plugins for proof management systems include compile tests in CI elisp compilation 2020-12-19T15:43:49+00:00 Hendrik Tews 2020-12-15T20:54:53+00:00 12be85a9032ebed02d9b65da7848ab173081f41a 






Remove mmm and ML4PG contribs and remove references to them in code and docs
2017-05-24T15:14:51+00:00

Paul Steckler

2017-05-24T15:14:51+00:00

c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f












Remove bin/proofgeneral and Update Makefiles accordingly.
2017-04-25T08:59:47+00:00

Erik Martin-Dorel

2017-04-25T08:52:21+00:00

1a18e33658645a81225c56b5d4f4a4b89434d301

Closes ProofGeneral/PG#177





Closes ProofGeneral/PG#177







Add easycrypt and twelf to Makefile
2017-02-25T19:56:20+00:00

Clément Pit--Claudel

2017-02-25T19:56:20+00:00

bef28eaad907cb2bc4cd54fb3674a6edbe19320e












fix icon installation and add 64 and 128 square icons (fixes #141)
2017-01-17T10:00:05+00:00

Hendrik Tews

2017-01-17T10:00:05+00:00

915c66130bf639c7bd0b94f5a5c4a79f9148d2b1












fix parallel build and other issues in Makefile (fixes #130)
2016-12-14T20:18:16+00:00

Hendrik Tews

2016-12-09T09:33:03+00:00

527f5922437f25868377408a9eecfc76592d5758












Makefile: don't depend on pwd
2016-09-28T23:17:18+00:00

Clément Pit--Claudel

2016-09-28T23:17:06+00:00

f252e201299c42f15228ee9a53e62614912a003d












Disable parallel build, to workaround the issue raised in PR #112.
2016-09-22T22:41:42+00:00

Erik Martin-Dorel

2016-09-22T22:41:42+00:00

80967674f6f60a190e1108b9588ed336debad0ce












Summary: Revert change to default EMACS
2015-03-13T14:16:33+00:00

David Aspinall

2015-03-13T14:16:33+00:00

5ea901126a1b385cb9b490275fd9737f54b139ca












Summary: Build on Mac
2015-03-05T09:27:08+00:00

David Aspinall

2015-03-05T09:27:08+00:00

8bc0bc1ea553f0d44a5056920c54ec13bbf6c487