From ccb4c70f34edf84396d85e4bb7c307fd62dea8b2 Mon Sep 17 00:00:00 2001
From: David Carlisle <d.p.carlisle@gmail.com>
Date: Sun, 25 Jun 2017 12:26:47 +0100
Subject: [PATCH] protect hyperref url from openmath catcode weirdness

---
 omstd20tex.xsl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/omstd20tex.xsl b/omstd20tex.xsl
index 699d966..af71bad 100644
--- a/omstd20tex.xsl
+++ b/omstd20tex.xsl
@@ -58,6 +58,7 @@
 \usepackage{longtable}
 \usepackage{amsfonts,amssymb,url,graphics,color,pslatex}
 \usepackage[colorlinks]{hyperref}
+\def\omurl#1{\url{#1}}
 
 <xsl:if test="$draft='yes'">
 \def\speclinks{
@@ -376,7 +377,7 @@ relative to the OpenMath 1.0 document\ldots
 <xsl:if test="$showdiffs or not(@revisionflag='deleted')">
 <xsl:choose>
 <xsl:when test="starts-with(.,'http')">
-<xsl:text/>\url|<xsl:apply-templates select="@revisionflag|node()"/>|<xsl:text/>
+<xsl:text/>\omurl£<xsl:apply-templates select="@revisionflag|node()"/>ß<xsl:text/>
 </xsl:when>
 <xsl:otherwise>
 <xsl:text/>\texttt£<xsl:apply-templates select="@revisionflag|node()"/>ß<xsl:text/>