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}