-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathul.el
79 lines (79 loc) · 1.13 KB
/
ul.el
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
(require 'generic)
(define-generic-mode 'ul-mode
;; comment-list
'("%" ("/*" . "*/"))
;; keyword-list
'(
"defgrammar"
"defdim"
"dims"
"args"
"defattrstype"
"defentrytype"
"deflabeltype"
"deftype"
"useprinciple"
"usedim"
"output"
"useoutput"
"defclass"
"useclass"
"defentry"
"dim"
;;
"defprinciple"
"constraints"
;; types
"set"
"iset"
"tuple"
"list"
"valency"
"card"
"vec"
"constraint"
"int"
"ints"
"string"
"bool"
"ref"
"label"
"tv"
;;
"node"
;; constraints
"equal"
"notequal"
"include"
"exclude"
"subseteq"
"disjoint"
"notdisjoint"
;;
"let"
"exists"
"existsone"
"forall"
"in"
"notin"
"intersect"
"union"
"minus"
"edge"
"dom"
"domeq"
"word"
;; aspects
"attrs"
"entry"
;;
"top"
"bot"
"infty"
)
;; font-lock-list
'("{" "}" "(" ")" "*" "&" "|" "@" "\\[" "\\]" "<" ">" "\\$" "\\." "_" "\\^" "!" "?" "+" "#" ":" "=" "~" "/")
;; auto-mode-list
'("\\.ul$")
;; function-list
nil)