4c3b16d9d0
PR 18497. From http://www.twelf.org, heavily edited: Twelf is a research project concerned with the design, implementation, and application of logical frameworks. It provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. The principal authors of Twelf are Frank Pfenning and Carsten Schuermann, with major contrubtions by Brigitte Pientka, Roberto Virga, and Kevin Watkins.
12 lines
401 B
Text
12 lines
401 B
Text
$NetBSD: patch-aa,v 1.1.1.1 2003/01/22 22:41:23 kristerw Exp $
|
|
|
|
--- emacs/twelf-init.el.orig Fri Oct 20 20:10:45 2000
|
|
+++ emacs/twelf-init.el
|
|
@@ -1,5 +1,7 @@
|
|
;;; Begin Twelf mode setup
|
|
|
|
+(setq twelf-root "@TWELF_LIBDIR@/")
|
|
+
|
|
;; Extend emacs load path, if necessary
|
|
(cond ((not (member (concat twelf-root "emacs") load-path))
|
|
(setq load-path (cons (concat twelf-root "emacs") load-path))))
|