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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
