| commit | 2ecfdaa6a9a2c14364f714b138c72e50f1ad30c8 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 21:58:06 +0000 (22 13:58 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 21:58:06 +0000 (22 13:58 -0800) | ||
| tree | 4c961e4deac229fe3dade826eae5becf0618894a | treesnapshot (tar.gz zip) |
| parent | fd7620110dd93e2f83e5cc1e7cb72893ca1b5d1b | commitdiff |
doc/misc/wisent.texi tweaks
* doc/misc/wisent.texi (Wisent Overview): Fix xref.
(Grammar format, Understanding the automaton): Avoid overfill.
* doc/misc/wisent.texi (Wisent Overview): Fix xref.
(Grammar format, Understanding the automaton): Avoid overfill.
| doc/misc/ChangeLog | diffblobblamehistory | |
| doc/misc/wisent.texi | diffblobblamehistory |