Saarland University
Computer Science
Programming Systems
Teaching
Prog-1 2008


Hauptseite
Termine
Services
Literatur
Buch
Anmeldung
Software
Prüfungen
Login
Forum

Programmierung 1: Moscow ML und GNU Emacs für Windows

Die meisten von Ihnen werden zu Hause Windows 95/98/ME/NT/2000/XP/Vista installiert haben. Für diese Zielgruppe haben wir ein Setup (ca 20 MB) zusammengestellt, das alle benötigten Komponenten mitliefert und sofort lauffähig ist.

Um Moscow ML und GNU Emacs zu installieren, laden Sie bitte das Setup herunter und führen es aus. Am einfachsten ist die vollständige Installation (Complete), die die Dateien in voreingestellte Verzeichnisse installiert. Sollten Sie diese ändern wollen, wählen Sie partielle Installation (Custom) und ändern den Pfad.

Unter Windows 9X müssen Sie, nach erfolgter Installation, Ihr System neu starten.

Nun kann das System jederzeit entweder alleine durch Click auf die Desktop-Verknüpfung Moscow ML gestartet werden, oder durch Aufrufen des Emacs, den Sie unter Start/Programme/GNU Emacs/Emacs finden.

Arbeiten mit GNU Emacs

Wenn Sie den Emacs aufgerufen haben, können Sie Moscow ML durch die Tastenkombination Alt-x und dann sml-mosml und ENTER starten. Das Emacs-Fenster teilt sich horizontal und im unteren Teil sehen Sie dann Moscow ML. Sie können dann direkt editieren und die Eingaben auswerten lassen.

Alternativ können sie mittels Ctrl-x Ctrl-f eine Datei mit .sml Erweiterung öffnen und dann per Menu SML/Process/Start default ML Compiler Moscow ML starten. Durch Ctrl-c Ctrl-p können Sie den aktuellen Absatz an Moscow ML übermitteln und zur Ausführung bringen. Haben Sie z. B. val x = 5; in den Datei-Buffer getippt und steht der Cursor direkt hinter dem Semikolon, so wird Ctrl-c Ctrl-p diesen Ausdruck im Interpreter auswerten und im Moscow ML-Buffer das Ergebnis anzeigen.

Hinweis: Wenn Sie den Emacs das erste Mal verwenden, ist es ratsam, sich das Emacs Online Tutorial durchzulesen. Sie finden es im Menu Help/Emacs Tutorial.

Online Doku zu Emacs

Last Change: Thu 01 Jan 1970 00:00:00 UTC