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