etc/user-settings.sample
Tue, 17 Dec 1996 12:51:02 +0100 wenzelm Isabelle user settings sample;
less more (0) tip