Hi, the Proof General releases do always contain a symlink ProofGeneral --> ProofGeneral-X.Y, which, ahem, is a bit in the way when creating debian packages.
What is the reason for having this symlink in the tar archive? Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
