Difference between revisions of "Talk:PPMonoid"
From ApCoCoAWiki
m (→Renaming) |
|||
Line 9: | Line 9: | ||
[[User:83.84.162.239|83.84.162.239]] 11:43, 16 Jul 2005 (CEST) (dheldt@home) | [[User:83.84.162.239|83.84.162.239]] 11:43, 16 Jul 2005 (CEST) (dheldt@home) | ||
− | Exactly what I wanted to do... how do you add it to a category? I actually made a category "documentation" which should become a subcategory of CoCoALib.... | + | :Exactly what I wanted to do... how do you add it to a category? I actually made a category "documentation" which should become a :subcategory of CoCoALib.... |
− | [[User:Bigatti|Bigatti]] 12:00, 18 Jul 2005 (CEST) | + | :[[User:Bigatti|Bigatti]] 12:00, 18 Jul 2005 (CEST) |
+ | |||
+ | :: You add a tag like [ [ Category:Name ] ] | ||
+ | :: (without blanks between the brackets. | ||
+ | :: [[User:Dheldt|dheldt]] 13:15, 18 Jul 2005 (CEST) | ||
==License issue== | ==License issue== |
Revision as of 11:15, 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)
- Exactly what I wanted to do... how do you add it to a category? I actually made a category "documentation" which should become a :subcategory of CoCoALib....
- Bigatti 12:00, 18 Jul 2005 (CEST)
- You add a tag like [ [ Category:Name ] ]
- (without blanks between the brackets.
- dheldt 13:15, 18 Jul 2005 (CEST)
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)