diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-07-04 21:35:32 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-07-04 21:35:32 -0700 |
| commit | 7ba9ecfb5a3ef1fe8193daae240761f5b95a6ff3 (patch) | |
| tree | 657ec5f6295e2d3ad5124713695b2e3c1f9a384b | |
| parent | 45a6276da28adc0c9a3f49feea4753c7043ba6e2 (diff) | |
Fix example involving B. Russell.
Closes #8940.
| -rw-r--r-- | MANUAL.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 3a1b932da..a30b15beb 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -4151,7 +4151,7 @@ capital letter with a period, by at least two spaces.[^2] [^2]: The point of this rule is to ensure that normal paragraphs starting with people's initials, like - B. Russell was an English philosopher. + B. Russell won a Nobel Prize (but not for "On Denoting"). do not get treated as list items. |