Skip to content

Commit

Permalink
doc: small language tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
wilfwilson committed Aug 20, 2019
1 parent 41fc0f2 commit 42a7c0d
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions doc/ref/language.xml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
<Heading>The Programming Language</Heading>

This chapter describes the &GAP; 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.
Expand Down Expand Up @@ -140,7 +140,7 @@ Digits, uppercase and lowercase letters, <B>Space</B>, <B>Tab</B>,
]]></Listing>
<P/>
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&nbsp;<Ref Sect="Symbols"/> and
chapter&nbsp;<Ref Chap="Strings and Characters"/>)
Expand Down
6 changes: 3 additions & 3 deletions doc/ref/run.xml
Original file line number Diff line number Diff line change
Expand Up @@ -18,11 +18,11 @@
<Heading>Running GAP</Heading>

<Index>options</Index>
This chapter informs about command line options for &GAP;
This chapter contains information about the command line options for &GAP;
(see&nbsp;<Ref Sect="Command Line Options"/>),
some files in user specific &GAP; root directory
about some files in user specific &GAP; root directory
(see&nbsp;<Ref Sect="sect:gap.ini"/>)
and saving and loading a &GAP; workspace
and about saving and loading a &GAP; workspace
(see&nbsp;<Ref Sect="Saving and Loading a Workspace"/>).


Expand Down

0 comments on commit 42a7c0d

Please sign in to comment.