proof-general/ci, branch master Emacs plugins for proof management systems fix omit proofs test for emacs <= 25 2021-04-16T20:53:05+00:00 Hendrik Tews 2021-03-22T21:04:31+00:00 2946b46433827cad19bc86364dbe077ea8b8a2e4 Work around the wrong order returned by `overlays-at' in Emacs <= 25. 
Work around the wrong order returned by `overlays-at' in
Emacs <= 25.
add test for omit proofs feature 2021-04-16T20:53:05+00:00 Hendrik Tews 2021-03-19T19:54:47+00:00 3802db410447bbc27e50dc5461b055c4e12a7e9a 






protect uses of coq-callcoq
2021-02-22T22:25:30+00:00

Hendrik Tews

2021-02-22T22:00:41+00:00

76fe29c9b121a0010a0f24b5cca5ac706683e3c3

Uses of coq-callcoq need to correctly handle nil as result for
the case that coq-callcoq fails.

Additionally, add a regression test.

Fixes #551





Uses of coq-callcoq need to correctly handle nil as result for
the case that coq-callcoq fails.

Additionally, add a regression test.

Fixes #551







add Coq compile test for a delayed require
2021-01-10T19:59:43+00:00

Hendrik Tews

2021-01-01T21:56:48+00:00

0d731606bee81b2d73895a23b69e84796ea7e4e7












ensure vo compilation for tests, increase parallelism, more config output
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-16T22:21:39+00:00

221b68de1a06c0833fb91e26f27721e8f928d45c












reimplement functions not present in earlier emacs versions
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-16T20:40:22+00:00

2fbdb9c5b7a9b76a295b1570360925237df4b077












include compile tests in CI elisp compilation
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-15T20:54:53+00:00

12be85a9032ebed02d9b65da7848ab173081f41a












fix 2 background compilation bugs for a dependency in state ready
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-15T20:22:21+00:00

ff230ff05620b67b4493354a829923c3efe4dc8b












add auto compile test to trigger two bugs for dependees in state ready
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-14T21:27:36+00:00

7cde26b20cab22d2a82f6bb50e852bbb5688d610

See also the committed test.el. The test is not completely
robust, it needs to be improved in the future.





See also the committed test.el. The test is not completely
robust, it needs to be improved in the future.







add test for recompilation with changes
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-05T21:27:47+00:00

16e784a63f2a38ce3f03e36b6fa9a7db2da211b9