2procedure
тебе же всё уже рассказали. EOF = Ctrl+C в Винде и помоему Ctrl+D в Никсах
Чтобы выйти по другой клавише, нужно вместо EOF подставить её ASCII-код, например для ESC = 0x1B (dec = 27)
Внимательно читай K&R