> I guess at some point it would make sense to tie PG to an specific Coq > range; I think the required changes could be made in the range of Coq >= > 8.8.
FWIW, Debian stable has Coq-8.6 (which is only about 2 years old),
so that's what I use on some of my machines.
Stefan
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
