Rudimentäres zur Rechnerbenutzung

• Der für die Vorlesung vorgesehene Rechner ist die Chapelle, für die sich mehrere Arbeitsplätze im Raum 116 finden.
• Für die Benutzung der für die Vorlesung nötigen Software ist es nötig, im Home-Verzeichnis eine Datei .working-groups anzulegen, in dem der Eintrag pu (das Kürzel unseres Arbeitsbereichs) vorkommt.
• Der größte Teil der Rechnerbetreuungs-Dokumentation trifft außerdem auch auf der Chapelle zu.
• Dokumentation zu Caml findet sich hier.
• Caml selbst findet sich hier (relevant ist ocaml-1.05.tar.gz).
• Wer XEmacs benutzt, kann außerdem durch folgende Zeilen in ~/.emacs einen wunderschönen Editor-Modus für Caml benutzen: (setq auto-mode-alist (cons '("\\.ml[iylp]?$" . caml-mode) auto-mode-alist)) (autoload 'caml-mode "caml" "Major mode for editing Caml code." t) (autoload 'run-caml "inf-caml" "Run an inferior Caml process." t) (add-hook 'caml-mode-hook (function (lambda () (require 'caml-font))))