Spring Switzerland GmbH 2000 - Manual (Page 5)

Figure 2: A task bar
4 Printing
Printers are located in various rooms; use the URL http://localhost:631/printers to see
which printers are available and where they are located. You can also choose the item “Printere” in
the menu found by pressing the [Book and ?] button on the button-bar, see Section 2. A printer is
named
pXXX , where XXX is the room-number where you find it (e.g., printer p165 is located in room
1.65). We also have copy machines that can be used as printers. They are named cXXX . Currently the
copy machines cannot be used for printing, but this feature will be enabled in the future.
5 Running Java programs
Editing and running Java programs can be done with Emacs. Given that your Java program resides
in an Emacs buffer, typing
Ctrl+c Ctrl+c will compile the program, and Ctrl+c Ctrl+r
will execute the compiled program. A more detailed description on compiling and executing Java
programs can be found in the document “Opsætning af PC” found at the URL:
http://www.itu.
dk/intranet/sysadm/cdroms/sir/Documentation/opsaetWindows.pdf .
6 Running SML programs
With Emacs, you can edit your SML program in one window and run an SML session in another
window. Emacs provides simple commands for SML program layout, for loading the program into
the SML session, and for repeating entries in the ML session.
Emacs is a powerful editor once you have learned to use it, but the commands may appear strange
at first. The menus, however, make use of Emacs easier. An overview of Emacs commands is found
in the GNU Emacs Reference Card (see
http://www.itu.dk/intranet/sysadm/cdroms/
sir/Documentation/refcard.pdf ). The composed keys Meta-
✄
(“meta-
✄
”) and Ctrl-
✄
(“control-
✄
”) for arbitrary key
✄
are made as follows:
5