- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / style / objtheorycontent.xsl
diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl

index 6b860a0a44dd1cefa8b20e1408d2aae3a537008b..7d890d61144fb193247170a1f9ba02aad9f2c8ca 100644 (file)
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -33,38 +33,37 @@
                                xmlns:m="http://www.w3.org/1998/Math/MathML"
                                xmlns:helm="http://www.cs.unibo.it/helm">
  
-<xsl:param name="type" select="0"/>
-<xsl:param name="getterURL" select="'http://localhost:8081/'"/>
-<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getciconly?uri=</xsl:variable>
-
  <xsl:import href="objcontent.xsl"/>
-<xsl:include href="basic.xsl"/>
-<xsl:include href="set.xsl"/>
-<xsl:include href="reals.xsl"/>
+<xsl:include href="headercontent.xsl"/>
+<xsl:include href="getter.xsl"/>
+
+<xsl:param name="type" select="'standalone'"/>
+<xsl:param name="getterURL" select="'http://localhost:8081/'"/>
+<xsl:param name="CICURI" select="''"/>
  
  <!-- CIC DEFINITION -->
  
  <xsl:template match="Definition">
      <xsl:choose>
-    <xsl:when test="$type=0">
-     <Definition name="{@name}" helm:xref="{@id}">  
-      <xsl:if test="string(@params) != &quot;&quot;">
-       <Params>
-        <xsl:value-of select="@params"/>
-       </Params>
-      </xsl:if>
-      <body>
+   <xsl:when test="$type='typeonly'">
+    <type>
+     <xsl:apply-templates select="type/*[1]"/>
+    </type>
+   </xsl:when>
+   <xsl:otherwise>
+    <Definition name="{@name}" helm:xref="{@id}">  
+     <xsl:if test="string(@params) != &quot;&quot;">
+      <Params>
+       <xsl:value-of select="@params"/>
+      </Params>
+     </xsl:if>
+     <body>
         <xsl:apply-templates select="body/*[1]"/>
-      </body>
+     </body>
       <type>
         <xsl:apply-templates select="type/*[1]"/>
       </type>
      </Definition>
-   </xsl:when>
-   <xsl:otherwise>
-    <type>
-     <xsl:apply-templates select="type/*[1]"/>
-    </type>
     </xsl:otherwise>
     </xsl:choose>
  </xsl:template>
@@ -84,82 +83,3 @@
  </xsl:template>
  
  </xsl:stylesheet>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-