Rudimentäres zur Rechnerbenutzung

• Der für die Vorlesung vorgesehene Rechner ist die Chapelle. Für die Chapelle gibt es keine direkten Arbeitsplätze, aber es ist möglich, die Rechner in Raum 023 zu benutzen und von da aus mit rlogin auf Chapelle einzuloggen. Möglicherweise funktioniert einiges auch auf den Rechnern in 023 direkt, aber hier gibt es keine Gewehr.
• 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-2.01.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))))