[general] terminal in room 507

david (08/09/82)

There is now a functional terminal in room 507.