%.

The %. keyword instructs STELF to stop reading input in the current file. It is most useful in emacs mode to check some prefix of a file that you are currently working on.

Example

The following example shows a simple STELF declaration at top, and the text below it in green shows the response from STELF. Notice that the last three lines are not considered by STELF, because it stops reading input when it reaches the %. keyword.

nat : type.

%.

This line will not be checked.
Neither will anything else that gets put after the %.
%total T (pretendlemma T _ _).

See also

• Lexical Conventions (guide §2.4)