>
> 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).
--
Waldek Hebisch
[email protected]
_______________________________________________
Axiom-developer mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
