> default. There is no real fix, because cvs log cannot generate > all information that belongs to a particular branch. Even Debian
Actually, there is a real fix: convert the CVS repository to some other (saner?) format like Bazaar or Git, and then use those tools to get the change log for whichever branch you're interested in. Stefan _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel