Difference between revisions of "Talk:PPMonoid"
From ApCoCoAWiki
m |
|||
| Line 1: | Line 1: | ||
| + | ==Renaming== | ||
| + | |||
| + | |||
what about renaming into PPMonoid and adding it to the category CoCoALib ? | what about renaming into PPMonoid and adding it to the category CoCoALib ? | ||
| Line 4: | Line 7: | ||
| − | [[User:83.84.162.239|83.84.162.239]] 11:43, 16 Jul 2005 (CEST) | + | [[User:83.84.162.239|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... | ||
| + | |||
| + | [[User:Dheldt|dheldt]] 08:26, 18 Jul 2005 (CEST) | ||
Revision as of 06:26, 18 July 2005
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)
