Prism.languages.editorconfig = { comment: /[;#].*/, section: { pattern: /(^[ \t]*)\[.+\]/m, lookbehind: !0, alias: 'keyword', inside: { regex: /\\\\[\[\]{},!?.*]/, operator: /[!?]|\.\.|\*{1,2}/, punctuation: /[\[\]{},]/, }, }, key: { pattern: /(^[ \t]*)[^\s=]+(?=[ \t]*=)/m, lookbehind: !0, alias: 'attr-name', }, value: { pattern: /=.*/, alias: 'attr-value', inside: { punctuation: /^=/ } }, }; y'/>
summaryrefslogtreecommitdiffstats
path: root/public/prism/prism-coq.js
blob: e1f094edfda3a3334e4d9033a54f30c7036ea233 (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