MS Windows UsersWith the exception of the RISC ProofNavigator, all of the software used in this course should also run under MS Windows (see the corresponding Web pages). However, I have not verified this and will not be able to give installation support. I rather recommend that you login from your MS Windows PC to the RISC Environment for executing the course software remotely.For remote login, you need on your PC an X-Server and an SSH client. Both is included in the Cygwin/X package which provides on a MS Windows PC a basic Linux environment with an X-Server and the OpenSSH client ssh (you have to choose the packages xterm and openssh during the setup of Cygwin/X). To download and install Cygwin/X, visit the following page (see Section 2 "Setting Up Cygwin" in the User's Guide): After the installation, the Cygwin icon should appear on your desktop. Click on this icon to start a Cygwin terminal window where you can type startx to start an X-Terminal window. In this window, you can continue with the execution of the "ssh" command to login into the RISC Environment. You should also get somewhat proficient with working on the Linux command line and with some visual Linux text editor (Emacs, kedit, gedit, nedit, ...) . As a starting point, I recommend the following tutorial: |
Last modified: Monday, 5 February 2007, 11:34 AM