Index: doc/theses/jiada_liang_MMath/CFAenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/CFAenum.tex	(revision cef5bfcf6f5619c0a358f9d4c2fda5a52c4ca1e5)
+++ doc/theses/jiada_liang_MMath/CFAenum.tex	(revision df2e00f233571fd339c5f2bb9025973837d85481)
@@ -471,14 +471,15 @@
 	E e;
 
-	for () {
-		try {
-			@sin | e@;
-		} catch( missing_data * ) {
-			sout | "missing data";
-			continue; // try again
+	try {
+		for () {
+			try {
+				@sin | e@;
+			} catch( missing_data * ) {
+				sout | "missing data";
+				continue; // try again
+			}
+			sout | e | "= " | value( e );
 		}
-	  if ( eof( sin ) ) break;
-		sout | e | "= " | value( e );
-	}
+	} catch( end_of_file ) {}
 }
 \end{cfa}
Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision cef5bfcf6f5619c0a358f9d4c2fda5a52c4ca1e5)
+++ doc/user/user.tex	(revision df2e00f233571fd339c5f2bb9025973837d85481)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri Jul 26 06:56:11 2024
-%% Update Count     : 6955
+%% Last Modified On : Thu Aug 15 22:23:30 2024
+%% Update Count     : 6957
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -4656,5 +4656,5 @@
 \VRef[Figure]{f:CFACommand-LineProcessing} demonstrates the file operations by showing the idiomatic \CFA command-line processing and copying an input file to an output file.
 Note, a stream variable may be copied because it is a reference to an underlying stream data-structures.
-\Textbf{All I/O errors are handled as exceptions}, but end-of-file is not an exception as C programmers are use to explicitly checking for it.
+\Textbf{All unusual I/O cases are handled as exceptions, including end-of-file.}
 
 \begin{figure}
@@ -4686,9 +4686,11 @@
 	in | nlOn;								§\C{// turn on reading newline}§
 	char ch;
-	for () {								§\C{// read/write characters}§
-		in | ch;
-	  if ( eof( in ) ) break;				§\C{// eof ?}§
-		out | ch;
-	} // for
+	try {
+		for () {							§\C{// read/write characters}§
+			in | ch;
+			out | ch;
+		} // for
+	} catch( end_of_file * ) {				§\C{// end-of-file raised}§
+	} // try
 } // main
 \end{cfa}