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 @@ - . + - . +