Don't document %no-default-prec for now.

This commit is contained in:
Paul Eggert
2003-10-05 07:34:36 +00:00
parent 0cc3da3a4e
commit 91d2c560a8
3 changed files with 21 additions and 3 deletions

View File

@@ -1,3 +1,10 @@
2003-10-05 Paul Eggert <eggert@twinsun.com>
* NEWS: Don't document %no-default-prec, as it's still
too experimental.
* doc/bison.texinfo: Document %no-default-prec only if
the defaultprec flag is set. Normally it's not.
2003-10-04 Paul Eggert <eggert@twinsun.com>
* data/glr.c (b4_rhs_value, b4_rhs_location): Yield a