I have actually run dist-upgrade on several occasions without rebooting. This morning I rebooted and found gdm no longer offered icewm in the session options. I switched to xdm (had to edit /etc/init.d/xdm as changing /etc/X11/default-display-manager had no effect) but this does not solve the problem as the xdm/debian log in does not offer any session options. How to I get icewm back? Tom George