Talk:PPMonoid

From ApCoCoAWiki

Revision as of 06:26, 18 July 2005 by Dheldt (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Renaming

what about renaming into PPMonoid and adding it to the category CoCoALib ?

I'd think that is more useful

83.84.162.239 11:43, 16 Jul 2005 (CEST) (dheldt@home)

License issue

Anna, the first paragraph is a link to the COPYING file. somehow you should add the file to the wiki or change the headers text...

dheldt 08:26, 18 Jul 2005 (CEST)

Retrieved from "http://apcocoa.uni-passau.de/wiki/index.php?title=Talk:PPMonoid&oldid=205"