Re: [Axiom-developer] [fricas-devel] Re: trademarks

[u1204]

>> I think Tim would already be happy, if we modify the
>> 
>> <div id="axiomlabel" align="right">axiom</div>
>> 
>> that appears on every outputbox of
>> 
>> http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
>> (and every such box on such generated output) into "fricas".
>> 
>> I don't care if fricas-devel get's more bug reports in this way.
>> 
>> That would be a simple change in some script and probably Bill knows
>> exactly where this has to be done.
>
>I have done such modification.  With little extra effort we should be
>able to put correct label (depending on which flavor is run).
>The change takes effect only one somebody trigger page refresh
>(in particular when page is modified).

Thank you.

Tim