Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 68 lines (68 sloc) 4.015 kb
cd0fea7f »
2010-06-02 add project files
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3 <plist version="1.0">
4 <dict>
5 <key>beginCommand</key>
6 <string>`</string>
7 <key>endCommand</key>
8 <string>'</string>
9 <key>beginInstruction</key>
10 <string></string>
11 <key>endInstruction</key>
12 <string></string>
13 <key>beginVariable</key>
14 <string></string>
15 <key>endVariable</key>
16 <string></string>
17 <key>firstString</key>
18 <string>"</string>
19 <key>secondString</key>
20 <string></string>
21 <key>firstSingleLineComment</key>
22 <string>#</string>
23 <key>secondSingleLineComment</key>
24 <string></string>
25 <key>beginFirstMultiLineComment</key>
26 <string></string>
27 <key>endFirstMultiLineComment</key>
28 <string></string>
29 <key>beginSecondMultiLineComment</key>
30 <string></string>
31 <key>endSecondMultiLineComment</key>
32 <string></string>
33 <key>functionDefinition</key>
34 <string></string>
35 <key>removeFromFunction</key>
36 <string></string>
37 <key>keywordsCaseSensitive</key>
38 <true/>
39 <key>recolourKeywordIfAlreadyColoured</key>
40 <true/>
41 <key>keywords</key>
42 <array>
43 <string>and</string>
44 <string>or</string>
45 <string>if</string>
46 <string>then</string>
47 <string>else</string>
48 <string>exists</string>
49 <string>forall</string>
50 <string>in</string>
51 <string>not</string>
52 <string>purge</string>
53 <string>union</string>
54 <string>diff</string>
55 <string>symbol</string>
56 <string>symdif</string>
57 <string>inter</string>
58 <string>cross</string>
59 <string>setof</string>
60 <string>by</string>
61 <string>less</string>
62 <string>sum</string>
63 <string>prod</string>
64 <string>min</string>
65 <string>max</string>
66 <string>abs</string>
67 <string>acos</string>
68 <string>acosh</string>
Something went wrong with that request. Please try again.