archives

« Bugzilla Issues Index

#202 — 7.8.4: "SingleStringCharacters" wrong font


+++ This bug was initially created as a clone of Bug #177 +++

7.8.4 String Literals / Semantics / bullet 8
says:
"The SV of SingleStringCharacters ::
SingleStringCharacter SingleStringCharacters is ..."

The "SingleStringCharacters" in the RHS is in the wrong font:
it's sans-serif upright, should be serif italic.


Fixed in 2015.