Institute for Logic, Complexity und Deduktion Systems (ILKD)
Computer Science Department, University of Karlsruhe

Links

Unix/Linux

WWW

ILKD-specific primers (in German)
user manual for HTML-generator (i11/i12 only) administrator manual for HTML-generator (i11/i12 only) Computers at ILKD First Aid
Unix/Linux
XEmacs Manual psfig help
WWW
SELFHTML (HTML-Dateien selbst erstellen) in German HTML 3.2 Reference Specification The HTML Writers Guild: WWW Resources The HTML Reference Library Introduction to HTML / Konstanz (in German) Introduction to HTML by H.Partl (in German) Guide to Cascading Style Sheets CSS Frequently Asked Questions Cascading Style Sheets, level 1 Icon-Library (ILKD, in German) Installation von Imagemaps (in German) NCSA Imagemap Tutorial Usable Web: Userfriendly Web design