[Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography]

Paul Libbrecht paul at hoplahup.net
Mon May 27 23:47:07 CEST 2013


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20130527/de4efd24/attachment-0001.html>


More information about the Om mailing list