[climacs-cvs] CVS update: papers/ilc2005/syntax/climacssyntax.tex

[Christophe Rhodes]

Update of /project/climacs/cvsroot/papers/ilc2005/syntax
In directory common-lisp.net:/tmp/cvs-serv32603

Modified Files:
	climacssyntax.tex 
Log Message:
after careful consideration, reintroduce one and a half colons

Date: Tue May 24 23:14:38 2005
Author: crhodes

Index: papers/ilc2005/syntax/climacssyntax.tex
diff -u papers/ilc2005/syntax/climacssyntax.tex:1.31 papers/ilc2005/syntax/climacssyntax.tex:1.32
--- papers/ilc2005/syntax/climacssyntax.tex:1.31	Tue May 24 23:01:56 2005
+++ papers/ilc2005/syntax/climacssyntax.tex	Tue May 24 23:14:38 2005
@@ -246,7 +246,7 @@
 Climacs uses an unspecialised vector for its storage, which uses one
 machine word per element, either as an immediate value or as a pointer
 to a larger element.  More space-efficient buffer implementations are
-possible, should it be necessary. For instance, it is conceivable that
+possible, should it be necessary; for instance, it is conceivable that
 a buffer implementation might choose to compress sections of the
 buffer which are not in use.
 
@@ -305,7 +305,7 @@
 context-free grammars.  This feature is crucial in certain
 applications, for instance in a grammar checker for natural languages.
 Implementations of the Climacs syntax protocol may, but are not
-required to, use the provided Earley parser. Any algorithm with an
+required to, use the provided Earley parser: any algorithm with an
 explicit representation of the parser state is suitable for use by an
 incremental parse system like that of Climacs' syntax protocol.
 
@@ -475,11 +475,11 @@
 The \TabCode\ language itself has developed to provide a terse and
 intuitive encoding of tablature, rather than a well-formed grammar for
 parsing.  Simple \TabCode, as in figure \ref{fig:besfantlach},
-presents no problems. Each chord is an optional rhythm sign (a capital
-letter), followed by zero or more notes as fret--string pairs
-(letter--number combinations).  Adding ornaments and fingering marks
-to this structure is simple, as they are merely optional modifiers to
-each note, and can be parsed as such.
+presents no problems.  In such a simple case, each chord is an
+optional rhythm sign (a capital letter), followed by zero or more
+notes as fret--string pairs (letter--number combinations).  Adding
+ornaments and fingering marks to this structure is simple, as they are
+merely optional modifiers to each note, and can be parsed as such.
 
 \begin{figure}
   \begin{center}