#11 doc

yegor256 · May 27, 2023 · 58ec31b · 58ec31b
1 parent ee25e45
commit 58ec31b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/naive-ebnf.dtx b/naive-ebnf.dtx
@@ -104,7 +104,7 @@
 % \item |:=| separates the left-hand side from the right-hand side of the production rule;
 % \item |<...>| denotes a non-terminal (variable);
 % \item |"..."| denotes a terminal symbol;
-% \item |'...'| denotes a special non-printable terminal symbol;
+% \item |'...'| denotes a special non-printable terminal symbol, like |'EOL'|;
 % \item \texttt{(...\char`\|...)} denotes a series of options to choose from;
 % \item |[...]| denotes an optional substitution;
 % \item |{...}| denotes a zero or more times repetition;
@@ -205,7 +205,7 @@
 % \changes{0.0.1}{2023/01/28}{First draft.}
 % \changes{0.0.2}{2023/01/29}{Proper parsing of grouping.}
 % \changes{0.0.2}{2023/01/29}{Substitutions suggested for special symbols.}
-% \changes{0.0.5}{2023/02/04}{New package option \texttt{trail} added, to enable saving generated \TeX{} content to a file, for debugging purposes.}
+% \changes{0.0.5}{2023/02/04}{New package option \texttt{trail} added, to enable saving of the generated \TeX{} content to a file, for debugging purposes.}
 
 % First, we process package options:
 %    \begin{macrocode}