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))))
Michael Sperber [Mr. Preprocessor]
Last modified: Fri Jan 15 14:55:39 MET 1999