Re: [Mathlib-develop] change name of mathlib

[Alejandro T. <ate...@ho...>]

>
>Hi,
>
>what about changing the name of mathlib?
>
>I did a search on google and it turned out more than 40200 hits.
>
>A small change to Jmathlib turns out just 2 hits.
>
>We could  just change the name on the webpages and in all
>mails, so the search engines will find it in the future.
>
>I also thought about a totally different name, like
>jOnePlus
>jAddAdd
>....
>these words are not used anywhere on the web.
>
>The word "mathlib" is not very unique in my opinion and people
>won't think of OUR mathlib when they read this word.
>
>What do you think about this?

I agree, no objection but do we have to change everything related to the 
word "mathlib"? The project name too?

Regards,
Alejandro.

_________________________________________________________________
Help STOP SPAM with the new MSN 8 and get 2 months FREE*  
http://join.msn.com/?page=features/junkmail