From: Michael D. Lowis <mike.lowis@gentex.com>
Date: Wed, 14 Apr 2021 15:08:01 +0000 (-0400)
Subject: updated wording of terminal symbols
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=d192f3ed24752d2a5d9de5d1711920d63b095365;p=proto%2Fobnc.git

updated wording of terminal symbols
---

diff --git a/Oberon.html b/Oberon.html
index ab9aa2d..cbe92c1 100644
--- a/Oberon.html
+++ b/Oberon.html
@@ -192,7 +192,7 @@
 
         <p>A language is an infinite set of sentences, namely the sentences well formed according to its syntax. In Oberon, these sentences are called compilation units. Each unit is a finite sequence of <dfn>symbols</dfn> from a finite vocabulary. The vocabulary of Oberon consists of identifiers, numbers, strings, operators, delimiters, and comments. They are called <dfn>lexical symbols</dfn> and are composed of sequences of <dfn>characters</dfn>. (Note the distinction between symbols and characters.)</p>
 
-        <p>To describe the syntax, an extended Backus-Naur Formalism called EBNF is used. Brackets [ and ] denote optionality of the enclosed sentential form, and braces { and } denote its repetition (possibly 0 times). Syntactic entities (non-terminal symbols) are denoted by English words expressing their intuitive meaning. Symbols of the language vocabulary (terminal symbols) are denoted by strings enclosed in quote marks or by words in capital letters.</p>
+        <p>To describe the syntax, an extended Backus-Naur Formalism called EBNF is used. Brackets [ and ] denote optionality of the enclosed sentential form, and braces { and } denote its repetition (possibly 0 times). Syntactic entities (non-terminal symbols) are denoted by English words expressing their intuitive meaning. Symbols of the language vocabulary (terminal symbols) are denoted by strings enclosed in quote marks.</p>
 
         <h2><a name="sec3">3. Vocabulary</a></h2>