Software am Lehrstuhl TCS

Twelf Version 1.3

Installation: Um Twelf aus dem Emacs heraus zu benutzen, fügen Sie folgende Zeilen zu Ihrer .emacs hinzu.

(setq twelf-root "/usr/share/twelf/")
(load (concat twelf-root "emacs/twelf-init.el"))