workspace gestattet die Manipulation von Files (Anzeigen, Kopieren, Verlagern, Löschen), den Aufruf von Programmen und die Bedienung von Druckern . workspace ist vom Benutzer auf seine speziellen Anwendungen und Bedürfnisse konfigurierbar.
Weitere Informationen zu workspace hier, in der entsprechenden man-page sowie im Manual "IRIS Essentials". Der Inhalt dieses Manuals ist auch on-line durch Aufruf von insight zugänglich.
____________________Wolfgang Dreißig, 24. Juni 1993, Korrektur 5. November 1993 (BKi)