proof-general/ci/compile-tests/bin/compile-test-start-delayed, branch master Emacs plugins for proof management systems 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