diff --git a/doc/ref/language.xml b/doc/ref/language.xml index 99afe7f538..ab2933097b 100644 --- a/doc/ref/language.xml +++ b/doc/ref/language.xml @@ -12,7 +12,7 @@ The Programming Language This chapter describes the ⪆ programming language. It should allow -you in principle to predict the result of each and every input. In order +you, in principle, to predict the result of each and every input. In order to know what we are talking about, we first have to look more closely at the process of interpretation and the various representations of data involved. @@ -140,7 +140,7 @@ Digits, uppercase and lowercase letters, Space, Tab, ]]>

It is possible to use other characters in identifiers by escaping -them with backslashes, but we do not recommend to use this feature. +them with backslashes, but we do not recommend the use of this feature. Inside strings (see section  and chapter ) diff --git a/doc/ref/run.xml b/doc/ref/run.xml index 3262b579b7..e499fa4118 100644 --- a/doc/ref/run.xml +++ b/doc/ref/run.xml @@ -18,11 +18,11 @@ Running GAP options -This chapter informs about command line options for ⪆ +This chapter contains information about the command line options for ⪆ (see ), -some files in user specific ⪆ root directory +about some files in user specific ⪆ root directory (see ) -and saving and loading a ⪆ workspace +and about saving and loading a ⪆ workspace (see ).