K 10 svn:author V 2 dg K 8 svn:date V 27 1996-01-13T10:46:51.000000Z K 7 svn:log V 117 Retrofitted my double-fault handler changes from -current. These are too important to leave out of the next release. END