From 3dd8f2305a0a9acebed25d548d1daf398399ed0a Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sun, 21 Jun 2020 09:00:44 +0200
Subject: [PATCH] cex: use the bullet in HTML

* data/xslt/xml2xhtml.xsl: here.
---
 TODO                    | 5 +++++
 data/xslt/xml2xhtml.xsl | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

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">&#x2022;</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">&#x2022;</span>
     </xsl:if>
   </xsl:for-each>
   <xsl:if test="$lookaheads">