[PD] update for the cos~-help patch

[Frank Barknecht]

Hallo,
Matteo.sistisette hat gesagt: // Matteo.sistisette wrote:

> I\'m not sure whether this is the correct place to post this; in
> case it is not, I apologize, and may someone pleas redirect me?

The best place to put this is the Bug tracker on Sourceforge.  I would
suggest to add the stuff from
http://crca.ucsd.edu/~msp/techniques/latest/book-html/node36.html#2559
as well.

Ciao
-- 
 Frank Barknecht                 _ ______footils.org_ __goto10.org__