mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-08-03 01:38:07 -04:00
12 lines
480 B
Plaintext
12 lines
480 B
Plaintext
===========================================================================
|
|
$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.
|
|
===========================================================================
|