/REVISION/0.0.1.1/Fri Apr  7 14:16:32 1995 Fri Apr  7 14:06:51 1995//
/smartwidget.kl/0.0.1.1/Fri Apr  7 14:16:32 1995 Fri Apr  7 14:06:51 1995//
/user-input.kl/0.0.1.1/Fri Apr  7 14:16:32 1995 Fri Apr  7 14:06:51 1995//
