1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
;; minlog-syntax.el - Syntax of Minlog
;; Author: Stefan Schimanski <schimans@math.lmu.de>
;; Freiric Barral <barral@math.lmu.de>
;;
;; adapted from the following, by Stefan Schimanski
;; ;; lego-syntax.el Syntax of LEGO
;; ;; Copyright (C) 1994 - 1998 LFCS Edinburgh.
;; ;; Author: Thomas Kleymann and Dilip Sequeira
;; ;; Maintainer: Paul Callaghan <P.C.Callaghan@durham.ac.uk>
;; ;; lego-syntax.el,v 2.10 1998/11/06 16:18:55 tms Exp
(require 'proof-syntax)
(load (concat minlog-el-path "/minlog-mode.el"))
;; ----- keywords for font-lock.
;(defvar minlog-font-lock-keywords
; (list
; (cons "Proof finished" 'font-lock-keyword-face))
; "*Font-lock table for Minlog terms (displayed in output buffers).")
(provide 'minlog-syntax)
|
