Go up to Top Go forward to Klausur |
Für das Lesen von PDF Dokumenten benötigen Sie den Acrobat Reader; PostScript Dokumente können mit Aladdin Ghostscript, Ghostview und GSview gelesen werden. Für das Experimentieren mit dem Logic Evaluator muß Ihr Browser Java applets ausführen können.
Hinweise für MS Windows Benutzer:
Alle PostScript und PDF Dateien sind mit gzip
komprimiert; Sie können
diese nicht durch Anklicken mit der linken Maustaste im Browser öffnen,
sondern müssen sie durch Anklicken mit der rechten Maustaste mit der Endung
.gz
abspeichern und mit WinZip auspacken.
Zum Ausführen des Logic Evaluator (getestet mit Windows NT, Netscape
Communicator 4.61 und MS Internet Explorer 4.0) müssen Sie Java in Ihrem
Browser einschalten (Netscape: Edit->Preferences->Advanced->Enable Java; MS
IE: View->Internet Options->Advanced->Java VM->Java JIT Compiler enabled). Für
die Offline Verwendung speichern Sie HTML.zip als Datei ab, packen
mit WinZip alle Dateien auf die Festplatte aus (es wird ein Verzeichnis
html
erzeugt) und öffnen danach im Explorer
die Datei html/index.html.