proof-general/ci/compile-tests/004-dependency-cycle/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 






add tests for parallel background compilation
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-05T17:05:39+00:00

163ff8d20276be0e932474cdd6cb2c3086c5be9c