X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_ebnf.xsl;h=5378a111ebf19bb190525160d26155ca528d65f3;hb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;hp=5599defa6fcd2e12d21220d19a5b53b45657f700;hpb=f7d7f2459b3b0409be5f168822be3b836ccc929b;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl b/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
index 5599defa6..5378a111e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
@@ -13,9 +13,7 @@
 </xsl:template>
 
 <xsl:template match="ld:prod">
-   <xsl:text>&lt;</xsl:text>
    <xsl:value-of select="@of"/>
-   <xsl:text>&gt;</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
@@ -24,28 +22,48 @@
    <xsl:call-template name="sp"/>
 </xsl:template>
 
-<xsl:template match="ld:str">
+<xsl:template match="ld:str1">
    <xsl:text>"</xsl:text>
    <xsl:value-of select="@of"/>
    <xsl:text>"</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
-<xsl:template match="ld:chr">
+<xsl:template match="ld:str2">
    <xsl:text>'</xsl:text>
    <xsl:value-of select="@of"/>
    <xsl:text>'</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
+<xsl:template match="ld:xchr">
+   <xsl:text>#</xsl:text>
+   <xsl:value-of select="@of"/>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:and">
+   <xsl:text>,</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:or">
    <xsl:text>|</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
 <xsl:template match="ld:etc">
+   <xsl:text>|</xsl:text>
+   <xsl:call-template name="sp"/>   
    <xsl:text>...</xsl:text>
    <xsl:call-template name="sp"/>
+   <xsl:text>|</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:but">
+   <xsl:text>-</xsl:text>
+   <xsl:call-template name="sp"/>
 </xsl:template>
 
 <xsl:template match="ld:open">
@@ -63,8 +81,26 @@
    <xsl:call-template name="sp"/>
 </xsl:template>
 
+<xsl:template match="ld:opt">
+   <xsl:text>*</xsl:text>
+   <xsl:call-template name="sp"/>
+   <xsl:text>1</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:plus">
-   <xsl:text>+</xsl:text>
+   <xsl:text>1</xsl:text>
+   <xsl:call-template name="sp"/>
+   <xsl:text>*</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:spec">
+   <xsl:value-of select="@of"/>
+   <xsl:call-template name="sp"/>
+   <xsl:text>*</xsl:text>
+   <xsl:call-template name="sp"/>
+   <xsl:value-of select="@of"/>
    <xsl:call-template name="sp"/>
 </xsl:template>