On 27 mai 2013, at 23:41, Lars Hellström wrote:
> So in practice it is files such as
> http://www.openmath.org/OpenMath3/xsl/cd/set1.xsl [*]
> which are used to assign notations to OM symbols? Is that documented
> anywhere? (One would think CD contibutors could benefit from knowing.)
>
> [*] Except that /that file/ is in a probably obsolete hierarchy, and
> therefore is likely a possibly modified copy of an old version of the proper
> file, which I haven't been able to guess an URL for.
That is documented here:
http://www.openmath.org/software/index.html
Under Stylesheets, the middle-bullet point.
Most of the OpenMath site has been built by stylesheets that David Carlisle
wrote.
This is probably one of the big collections of them.
paul_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om
