[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: u1204
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
Date: Tue, 23 Apr 2013 19:15:51 -0400

>> I think Tim would already be happy, if we modify the
>> <div id="axiomlabel" align="right">axiom</div>
>> that appears on every outputbox of
>> (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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]