Re: [Mathlib-develop] change name of mathlib

[Stefan M. <st...@he...>]

Alejandro Torras wrote:
>>
>> 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?

I think it's enough to change from MathLib to JMathLib everywhere in the
text, webpages and emails. If we would start changing the project name
on sourceforge, everything old would be gone. I changed the webpages
already.

Maybe we should change just two more files:
Source/MathLib/UI/Applet/JMathLibGUI.java
Source/MathLib/TUI/JMathLibTUI.java

The distribution files should be renamed to JMathLib.jar .....

Do you all aggree?

Kind regards,
   Stefan.

------------------------------------
Dr.-Ing. Stefan Mueller
email: St...@he...
------------------------------------