X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=d117a0eeb0e2cd75d7aa5ec03b6c495ee5a6d384;hb=d01cc07b11b5919369bf4e8989360c2b4fe0380c;hp=a57d4ddadc0edbdc4897a40b721ec1c4136cdd53;hpb=49add7c2b9bc18169182b2aa5c557b2512712a03;p=pspp

diff --git a/doc/language.texi b/doc/language.texi
index a57d4ddadc..d117a0eeb0 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -112,8 +112,7 @@ significant inside strings.
 
 Strings can be concatenated using @samp{+}, so that @samp{"a" + 'b' +
 'c'} is equivalent to @samp{'abc'}.  Concatenation is useful for
-splitting a single string across multiple source lines. The maximum
-length of a string, after concatenation, is 255 characters.
+splitting a single string across multiple source lines.
 
 Strings may also be expressed as hexadecimal, octal, or binary
 character values by prefixing the initial quote character by @samp{X},
@@ -208,9 +207,9 @@ new command, which allows for visual indentation of a command without
 that command being considered part of the previous command. 
 The period terminating the end of a command is optional but recommended.
 
-In interactive mode, each command must  either be terminated with a period,
-or an empty line must follow the command.
-The use of (@samp{+} and @samp{@minus{}} as continuation characters is not
+In interactive mode, each command must be terminated with a period
+or by a blank line.
+The use of @samp{+} and @samp{@minus{}} as continuation characters is not
 permitted.
 
 @node Types of Commands