Not Found
The requested URL /jtc1/sc22/wg21/docs/wp/ps/jan95/contents.ps was not found on this server.
Apache/2.2.16 (Debian) Server at std.dkuug.dk Port 80