Instructions for studying this course off-line

In order to study the course text off-line you need to download and install not just the text but also some supporting software. The installation is different for Windows and Unix systems.
If you have downloaded the course text before and just wish to update the content without the supporting software, you can download this update zip file . It only contains the "tutorial" directory.

Microsoft Windows'95, '98, NT and 2000

  1. You need to download a zip archive which contains a Java Runtime Environment, A Java-based Webserver and the actual course text and software.
  2. You must unzip the archive in the directory C:\ where it creates a directory called "jswdk-1.0". This is the name of the Webserver, which is supplied by Sun Microsystems. The AHA system might not work if you install it in another directory or on another drive. (Installing in another directory requires some initializations in some scripts to be altered.)
  3. Each time you wish to use the tutorial you must start the Webserver, through a batch file: C:\jswdk-1.0\startserver.bat. Stopping the server is done through C:\jswdk-1.0\stopserver.bat.
  4. The Webserver listens to port 8080 on the local loopback 127.0.0.1, also called "localhost". To connect to the server and log on to the course you must connect to http://127.0.0.1:8080/tutorial/ .

Unix

  1. You need to download a gzipped tar archive which contains a Java-based Webserver and the actual course text and software. This archive does not contain a Java Runtime Environment. You must install a Java Runtime Environment yourself!
  2. You must ungzip and untar the archive in any directory where you have write permission. $HOME/jswdk-1.0 would be a good suggestion. You must also initialize some scripts (startserver and stopserver) so that they find the installation and the Java Runtime Environment.
  3. Each time you wish to use the AHA system you must start the Webserver, through a shell script: startserver. Stopping the server is done through the script stopserver.
  4. The Webserver listens to port 8080 on the local loopback 127.0.0.1. To connect to the server and log on to the course you must connect to http://127.0.0.1:8080/tutorial/ .