proof-general/ci/simple-tests, 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