Difference between revisions of "Talk:PPMonoid"

From ApCoCoAWiki
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)