Commit 4aed9b3c authored by POTTIER Francois's avatar POTTIER Francois

Some fixes for Hevea.

parent 956ba5a1
......@@ -361,7 +361,7 @@ must be fully qualified.
\section{Syntax of grammar specifications}
\newcommand{\modifier}{(\,\dquestion \metachoice \dplus \metachoice \dstar\kern-.3mm)}
\newcommand{\modifier}{(\,\dquestion \metachoice \dplus \metachoice \dstar\hspace{-.3mm})}
......@@ -420,7 +420,7 @@ must be fully qualified.
(\,\dcolonequal \metachoice \dequalequal\kern-.2mm)
(\,\dcolonequal \metachoice \dequalequal\hspace{-.2mm})
\expression \is
% Ignore \raisebox and \phantom.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment