[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
cex: use the bullet in HTML
From: |
Akim Demaille |
Subject: |
cex: use the bullet in HTML |
Date: |
Mon, 22 Jun 2020 07:38:36 +0200 |
commit 3dd8f2305a0a9acebed25d548d1daf398399ed0a
Author: Akim Demaille <akim.demaille@gmail.com>
Date: Sun Jun 21 09:00:44 2020 +0200
cex: use the bullet in HTML
* data/xslt/xml2xhtml.xsl: here.
diff --git a/TODO b/TODO
index cc463db3..2fa508aa 100644
--- a/TODO
+++ b/TODO
@@ -41,6 +41,11 @@ Use "•" instead of ".".
Not all the conflicts have counterexamples generated. See the "break"s in
counterexample_report_state.
+*** point, dot
+We have too many names. In XML we use "point", in C "dot". A traditional
+more accurate name of "item" is "pointed rule", so we should probably prefer
+"point" to "dot".
+
** Bistromathic
- Hitting tab on a line with a syntax error is ugly
diff --git a/data/xslt/xml2xhtml.xsl b/data/xslt/xml2xhtml.xsl
index 467ea6ca..4a30bd84 100644
--- a/data/xslt/xml2xhtml.xsl
+++ b/data/xslt/xml2xhtml.xsl
@@ -531,12 +531,12 @@
<xsl:for-each select="rhs/*">
<xsl:if test="position() = $point + 1">
<xsl:text> </xsl:text>
- <span class="point">.</span>
+ <span class="point">•</span>
</xsl:if>
<xsl:apply-templates select="."/>
<xsl:if test="position() = last() and position() = $point">
<xsl:text> </xsl:text>
- <span class="point">.</span>
+ <span class="point">•</span>
</xsl:if>
</xsl:for-each>
<xsl:if test="$lookaheads">
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- cex: use the bullet in HTML,
Akim Demaille <=