proof-general/etc/coq/multiple-plain/README, branch master Emacs plugins for proof management systems Add simple clear test for multiple files without require 2010-09-08T09:04:13+00:00 David Aspinall 2010-09-08T09:04:13+00:00 f9f318998250997ecc4a717c2284c7e789e353a0