blob: 53eb4bfd6cd4f3fe8c748b6c0d74a1903bff3f81 (
plain)
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
|
(TeX-add-style-hook "rtsched"
(lambda ()
(LaTeX-add-environments
"RTGrid")
(TeX-add-symbols
'("TaskRespTime" ["argument"] 3)
'("TaskExecDelta" ["argument"] 3)
'("RowLabel" ["argument"] 2)
'("RTBox" ["argument"] 2)
'("Activation" ["argument"] 4)
'("Inherit" ["argument"] 3)
'("Label" ["argument"] 3)
'("TaskUnlock" ["argument"] 3)
'("TaskLock" ["argument"] 3)
'("TaskExecution" ["argument"] 3)
'("TaskDeadline" ["argument"] 2)
'("TaskArrDead" ["argument"] 3)
'("TaskArrival" ["argument"] 2)
'("RTSet" 1)
"sx"
"sy"
"hy"
"xx"
"yy"
"xxx"
"yyy"
"nsx"
"nsy"
"nhl"
"nvl"
"tmp"
"RTSetDefault"
"RTNullWindowHeight"
"RTDefTaskSymbol"
"RTDefNumberOffset"
"RTDefTaskFill"
"RTDefTaskColor"
"RTDefLineColor"
"RTDefXScale"
"RTDefWriteSymbols"
"RTDefGridInvisible"
"RTDefNumbersInvisible"
"RTDefRowLabelOffset"
"RTWindowHeight"
"RTWindowLength"
"RTTaskLabelSize"
"RTNumberLabelSize"
"RTTaskColor"
"RTLineColor"
"RTExecLabel"
"RTTaskFill"
"RTXScale"
"RTTaskSymbol"
"RTWriteSymbols"
"RTNumberOffset"
"RTGridInvisible"
"RTNumbersInvisible"
"RTRowLabelOffset"
"RTGridBegin"
"RTGridEnd")
(TeX-run-style-hooks
"keyval"
"pstricks"
"multido")))
|