K 10 svn:author V 2 dg K 8 svn:date V 27 1995-08-20T04:41:02.000000Z K 7 svn:log V 174 Fixed a few bugs and annoyances with boot(): 1) deal with cold flag better 2) check for key input more often 3) get rid of unused variables 4) minor formatting improvements END