12 lines
480 B
Text
12 lines
480 B
Text
|
===========================================================================
|
||
|
|
$NetBSD: MESSAGE,v 1.1.1.1 2003/01/22 22:41:23 kristerw Exp $
|
||
|
|
|
||
|
|
Twelf is largely intended to be used through an Emacs interface. It
|
||
|
|
is therefore recommended that you add
|
||
|
|
|
||
|
|
(load "twelf-init")
|
||
|
|
|
||
|
|
to your .emacs file. This will arrange for Emacs to enter twelf-mode
|
||
|
|
automatically upon opening a *.elf, *.quy, *.thm, or *.cfg file.
|
||
|
|
===========================================================================
|