end-of-input signal

In the November 2002 release of Hugs for Mac OS X, Control-D apparently no longer signals end of keyboard input. Is there some other signal that causes hugsHIsEOF to return True? Thanks, --Ham -- ------------------------------------------------------------------ Hamilton Richards Department of Computer Sciences Senior Lecturer The University of Texas at Austin 512-471-9525 1 University Station C0500 Taylor Hall 5.138 Austin, Texas 78712-1188 ham@cs.utexas.edu hrichrds@swbell.net ------------------------------------------------------------------