Hi,

if nobody disagrees I am going to remove coq/coqtags because the
Coq distribution contains its own coqtags.

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to