Actually, the installation/desinstallation of yacas-doc is correct. The file is created and not removed by yacas-proteus.
I hope this will be useful. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
