diff options
| author | Sam Pablo Kuper | 2017-07-31 21:13:53 +0100 |
|---|---|---|
| committer | Sam Pablo Kuper | 2017-07-31 21:14:03 +0100 |
| commit | d085b5711075cd51e0b95cf3aea102ab867b850d (patch) | |
| tree | bd789f5626afd3ed33b9b65caace6018aa49a6d7 | |
| parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) | |
Minor grammar fix: replace a "then" with a "so".
| -rw-r--r-- | doc/refman/RefMan-int.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-int.tex b/doc/refman/RefMan-int.tex index fbeccb664d..be010b15ce 100644 --- a/doc/refman/RefMan-int.tex +++ b/doc/refman/RefMan-int.tex @@ -58,7 +58,7 @@ Chapter~\ref{Addoc-coqide}. \section*{How to read this book} -This is a Reference Manual, not a User Manual, then it is not made for a +This is a Reference Manual, not a User Manual, so it is not made for a continuous reading. However, it has some structure that is explained below. |