K 10 svn:author V 5 dyson K 8 svn:date V 27 1996-03-10T23:06:00.000000Z K 7 svn:log V 120 Improved efficiency in pmap_remove, and also remove some of the pmap_update optimizations that were probably incorrect. END