proof-general/etc/coq/multiple/Makefile, branch master Emacs plugins for proof management systems New files. 2004-04-22T17:12:33+00:00 David Aspinall 2004-04-22T17:12:33+00:00 b09555cf701bbd02b6cbb8fdf020c0915869d2b8