	to be inserted at the page 4.7 after the command FORGET

	Using the command

	SET MODE 4 [TO] <integer> .

we can regulate the way of forgetting publications. Possible values of
the mode are 0 and 1, first one being a default value. In mode 0 the
system forgets the specified publications without asking the user for
the confirmation. In the other mode the system displays each publica-
tion specified and user's confirmation for forgetting is required.
(YES or NO , alternatively: 1 or 0). The way of displaying publications
can be regulated by a separate command (SET MODE OF TYPING PUBLICATION
TO <integer> .).
