According to Miklos Cserzo:

until

SYNTAX:

  repeat statement1; statement2; .... until boolean_expression;

^ As Frank pointed out, we better do not use a semicolon here.

DESCRIPTION:

The "until" keyword is used exclusively in combination with "repeat" keyword in all Pascal standards. See the reference page for "repeat" for the details.

I would suggest simply

See "repeat" for details.

for the last sentence. The Texinfo specifications however recommend to put a comma or period after each @ref{...} command. This favours

For details, see "repeat".

STANDARDS: All

EXAMPLE:

See "repeat".

SEE ALSO: repeat

Perhaps also "while" and "for"?

Peter