From 5dbf3071f8e856b3f4652a623ff23b163586154b Mon Sep 17 00:00:00 2001 From: edwin Date: Mon, 19 Jan 2004 12:29:13 +0000 Subject: [PATCH] minor documentation corrections --- doc/handbook/verification.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/handbook/verification.tex b/doc/handbook/verification.tex index 929acc150..bf1ab982d 100644 --- a/doc/handbook/verification.tex +++ b/doc/handbook/verification.tex @@ -96,13 +96,13 @@ fields are valid Java identifiers since this would require including a Unicode database in Cacao. Instead the following checks are performed: \begin{itemize} -\item Names must be valid non-empty UTF-8 strings. +\item Names must be valid non-empty Java `Utf8' strings. \item Names must not contain ASCII control characters or the \code{NUL}-character. \item A method name starting with the ASCII character `\code{<}' must be either \code{} or \code{}. \item A \code{NameAndType} entry in the constant pool may not - reference a method named \code{}. + refer to a method named \code{}. \item Field names may not start with `\code{<}'. \end{itemize} -- 2.25.1