proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
2021-02-22	protect uses of coq-callcoq	Hendrik Tews
2021-01-10	add Coq compile test for a delayed require	Hendrik Tews
2020-12-19	ensure vo compilation for tests, increase parallelism, more config output	Hendrik Tews
2020-12-19	reimplement functions not present in earlier emacs versions	Hendrik Tews
2020-12-19	include compile tests in CI elisp compilation	Hendrik Tews
2020-12-19	fix 2 background compilation bugs for a dependency in state ready	Hendrik Tews
2020-12-19	add auto compile test to trigger two bugs for dependees in state ready	Hendrik Tews
2020-12-19	add test for recompilation with changes	Hendrik Tews
2020-12-19	add tests for parallel background compilation	Hendrik Tews