proof-general/ci/compile-tests/005-change-recompile/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 test for recompilation with changes
2020-12-19T15:43:49+00:00

Hendrik Tews

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

16e784a63f2a38ce3f03e36b6fa9a7db2da211b9