From 2ecfdaa6a9a2c14364f714b138c72e50f1ad30c8 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Sat, 22 Dec 2012 13:58:06 -0800 Subject: [PATCH] doc/misc/wisent.texi tweaks * doc/misc/wisent.texi (Wisent Overview): Fix xref. (Grammar format, Understanding the automaton): Avoid overfill. --- doc/misc/ChangeLog | 3 +++ doc/misc/wisent.texi | 12 +++++------- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index cbb780f998a..83e91e55a36 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,5 +1,8 @@ 2012-12-22 Glenn Morris + * wisent.texi (Wisent Overview): Fix xref. + (Grammar format, Understanding the automaton): Avoid overfill. + * bovine.texi (Optional Lambda Expression): Allow line break. * auth.texi (Help for users): Break long lines. diff --git a/doc/misc/wisent.texi b/doc/misc/wisent.texi index c2c52837b97..83302fba219 100644 --- a/doc/misc/wisent.texi +++ b/doc/misc/wisent.texi @@ -112,7 +112,7 @@ of the GNU Compiler Compiler Bison. Its code is a port of the C code of GNU Bison 1.28 & 1.31. For more details on the basic concepts for understanding Wisent, it is -worthwhile to read the @ref{Top, Bison Manual, bison}. +worthwhile to read the @ref{Top, Bison Manual, , bison}. @ifhtml @uref{http://www.gnu.org/manual/bison/html_node/index.html}. @end ifhtml @@ -302,7 +302,7 @@ If @var{components} in a rule is @code{nil}, it means that the rule can match the empty string. For example, here is how to define a comma-separated sequence of zero or more @samp{exp} groupings: -@example +@smallexample @group (expseq (nil) ;; expseq: ;; empty ((expseq1)) ;; | expseq1 @@ -312,7 +312,7 @@ comma-separated sequence of zero or more @samp{exp} groupings: ((expseq1 ?, exp)) ;; | expseq1 ',' exp ) ;; ; @end group -@end example +@end smallexample @cindex precedence level @item precedence @@ -339,7 +339,7 @@ serves to stand for its precedence: Now the precedence of @code{UMINUS} can be used in specific rules: -@example +@smallexample @group (exp @dots{} ;; exp: @dots{} ((exp ?- exp)) ;; | exp '-' exp @@ -348,7 +348,7 @@ Now the precedence of @code{UMINUS} can be used in specific rules: @dots{} ;; @dots{} ) ;; ; @end group -@end example +@end smallexample If you forget to append @code{[UMINUS]} to the rule for unary minus, Wisent silently assumes that minus has its usual precedence. This @@ -1032,7 +1032,6 @@ state 8 $default reduce using rule 2 (exp) - state 9 exp -> exp . '+' exp (rule 1) @@ -1047,7 +1046,6 @@ state 9 $default reduce using rule 3 (exp) - state 10 exp -> exp . '+' exp (rule 1) -- 2.11.4.GIT