From 7310101ce7739889fd4681864978f2c71722bbd6 Mon Sep 17 00:00:00 2001
From: Hans Hagen <pragma@wxs.nl>
Date: Thu, 27 Apr 2006 15:59:00 +0200
Subject: stable 2006.04.27 15:59

---
 tex/context/base/cont-new.tex     |  2 +-
 tex/context/base/context.tex      |  2 +-
 tex/context/base/x-sm2om.xsl      | 79 +++++++++++++++++++++++++++++++++++++++
 tex/context/interface/keys-cz.xml |  2 +-
 tex/context/interface/keys-de.xml |  2 +-
 tex/context/interface/keys-en.xml |  2 +-
 tex/context/interface/keys-fr.xml |  2 +-
 tex/context/interface/keys-it.xml |  2 +-
 tex/context/interface/keys-nl.xml |  2 +-
 tex/context/interface/keys-ro.xml |  2 +-
 10 files changed, 88 insertions(+), 9 deletions(-)
 create mode 100644 tex/context/base/x-sm2om.xsl

(limited to 'tex')

diff --git a/tex/context/base/cont-new.tex b/tex/context/base/cont-new.tex
index 02030165c..451aef0c7 100644
--- a/tex/context/base/cont-new.tex
+++ b/tex/context/base/cont-new.tex
@@ -11,7 +11,7 @@
 %C therefore copyrighted by \PRAGMA. See mreadme.pdf for
 %C details.
 
-\newcontextversion{2006.04.27 00:58}
+\newcontextversion{2006.04.27 15:59}
 
 %D This file is loaded at runtime, thereby providing an
 %D excellent place for hacks, patches, extensions and new
diff --git a/tex/context/base/context.tex b/tex/context/base/context.tex
index 1f2d5043c..035091084 100644
--- a/tex/context/base/context.tex
+++ b/tex/context/base/context.tex
@@ -31,7 +31,7 @@
 %D 2004.8.30 the low level interface is english. Watch out and adapt
 %D your styles an modules.
 
-\def\contextversion{2006.04.27 00:58}
+\def\contextversion{2006.04.27 15:59}
 
 %D For those who want to use this:
 
diff --git a/tex/context/base/x-sm2om.xsl b/tex/context/base/x-sm2om.xsl
new file mode 100644
index 000000000..022d37355
--- /dev/null
+++ b/tex/context/base/x-sm2om.xsl
@@ -0,0 +1,79 @@
+<?xml version="1.0" encoding="utf-8"?>
+
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+    <xsl:output method="xml"/>
+
+    <xsl:template match ="processing-instruction()"><xsl:copy/><xsl:text>
+    </xsl:text></xsl:template>
+
+    <xsl:template match = "node()|@*" >
+        <xsl:copy>
+            <xsl:apply-templates select = "node()|@*" />
+        </xsl:copy>
+    </xsl:template>
+
+    <xsl:template match="comment"></xsl:template>
+
+    <xsl:variable name='openmath-to-content-mathml'><value-of select='$stylesheet-path'/>/x-openmath.xsl</xsl:variable>
+
+    <xsl:template match='i|n'>
+        <xsl:element name="OMOBJ">
+            <xsl:attribute name="xmlns">http://www.openmath.org/OpenMath</xsl:attribute>
+            <xsl:attribute name="version">2.0</xsl:attribute>
+            <xsl:element name="OMI">
+                <xsl:apply-templates/>
+            </xsl:element>
+        </xsl:element>
+    </xsl:template>
+
+    <xsl:template match='v'>
+        <xsl:element name="OMOBJ">
+            <xsl:attribute name="xmlns">http://www.openmath.org/OpenMath</xsl:attribute>
+            <xsl:attribute name="version">2.0</xsl:attribute>
+            <xsl:element name="OMV">
+                <xsl:attribute name="name"><xsl:apply-templates/></xsl:attribute>
+            </xsl:element>
+        </xsl:element>
+    </xsl:template>
+
+    <!-- r a/b split in two parts -->
+
+    <xsl:template match='r'>
+        <xsl:element name="OMOBJ">
+            <xsl:attribute name="xmlns">http://www.openmath.org/OpenMath</xsl:attribute>
+            <xsl:attribute name="version">2.0</xsl:attribute>
+            <xsl:element name="OMA">
+                <xsl:element name="OMS">
+                    <xsl:attribute name="cd">interval1</xsl:attribute>
+                    <xsl:attribute name="name">interval_oo</xsl:attribute>
+                </xsl:element>
+                <xsl:choose>
+                    <xsl:when test="not(number(substring-before(translate(text(),',','.'),':')))">
+                        <xsl:element name="OMV">
+                            <xsl:attribute name="name"><xsl:value-of select="substring-before(text(),':')"/></xsl:attribute>
+                        </xsl:element>
+                    </xsl:when>
+                    <xsl:otherwise>
+                        <xsl:element name="OMI">
+                            <xsl:value-of select="substring-before(text(),':')"/>
+                        </xsl:element>
+                    </xsl:otherwise>
+                </xsl:choose>
+                <xsl:choose>
+                    <xsl:when test="not(number(substring-after(translate(text(),',','.'),':')))">
+                        <xsl:element name="OMV">
+                            <xsl:attribute name="name"><xsl:value-of select="substring-after(text(),':')"/></xsl:attribute>
+                        </xsl:element>
+                    </xsl:when>
+                    <xsl:otherwise>
+                        <xsl:element name="OMI">
+                            <xsl:value-of select="substring-after(text(),':')"/>
+                        </xsl:element>
+                    </xsl:otherwise>
+                </xsl:choose>
+            </xsl:element>
+        </xsl:element>
+    </xsl:template>
+
+</xsl:stylesheet>
diff --git a/tex/context/interface/keys-cz.xml b/tex/context/interface/keys-cz.xml
index ce25d7971..e77af536e 100644
--- a/tex/context/interface/keys-cz.xml
+++ b/tex/context/interface/keys-cz.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="cz" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="cz" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="jedna"/>
diff --git a/tex/context/interface/keys-de.xml b/tex/context/interface/keys-de.xml
index 6d71f6247..0e7154545 100644
--- a/tex/context/interface/keys-de.xml
+++ b/tex/context/interface/keys-de.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="de" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="de" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="eins"/>
diff --git a/tex/context/interface/keys-en.xml b/tex/context/interface/keys-en.xml
index 9e77a60e2..478b43a6f 100644
--- a/tex/context/interface/keys-en.xml
+++ b/tex/context/interface/keys-en.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="en" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="en" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="one"/>
diff --git a/tex/context/interface/keys-fr.xml b/tex/context/interface/keys-fr.xml
index b38033867..7d60c593f 100644
--- a/tex/context/interface/keys-fr.xml
+++ b/tex/context/interface/keys-fr.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="fr" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="fr" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="un"/>
diff --git a/tex/context/interface/keys-it.xml b/tex/context/interface/keys-it.xml
index 4fff964bf..20b2b2525 100644
--- a/tex/context/interface/keys-it.xml
+++ b/tex/context/interface/keys-it.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="it" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="it" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="uno"/>
diff --git a/tex/context/interface/keys-nl.xml b/tex/context/interface/keys-nl.xml
index 4919806b5..2f808b4ea 100644
--- a/tex/context/interface/keys-nl.xml
+++ b/tex/context/interface/keys-nl.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="nl" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="nl" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="een"/>
diff --git a/tex/context/interface/keys-ro.xml b/tex/context/interface/keys-ro.xml
index 346519a21..012f83036 100644
--- a/tex/context/interface/keys-ro.xml
+++ b/tex/context/interface/keys-ro.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 
-<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="ro" version="2006.04.27 00:58">
+<cd:interface xmlns:cd="http://www.pragma-ade.com/commands" name="context" language="ro" version="2006.04.27 15:59">
 
   <cd:variables>
     <cd:variable name="one" value="unu"/>
-- 
cgit v1.2.3