>
> 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]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
