Talk:PPMonoid: Difference between revisions
From ApCoCoAWiki
mNo edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
[[User:Dheldt|dheldt]] 08:26, 18 Jul 2005 (CEST) | [[User:Dheldt|dheldt]] 08:26, 18 Jul 2005 (CEST) | ||
True... That is just an experiment. Do you know if I can get a "<" symbol instead of "<" when I wget this file? | |||
[[User:Bigatti|Bigatti]] 11:59, 18 Jul 2005 (CEST) | |||
Revision as of 09:59, 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)
True... That is just an experiment. Do you know if I can get a "<" symbol instead of "<" when I wget this file?
Bigatti 11:59, 18 Jul 2005 (CEST)
