blob: 8c2b15eb047b1daa525e3cb9b003487da1d98b5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
===========================================================================
$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.
===========================================================================
|
