[Top][All Lists]

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

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

From: Waldek Hebisch
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
Date: Tue, 23 Apr 2013 20:01:18 +0200 (CEST)

> 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).

                              Waldek Hebisch

reply via email to

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