mkhl / maude.tmbundle

TextMate bundle for the Maude rewriting logic system. http://maude.cs.uiuc.edu/

This URL has Read+Write access

• Fix parsing of messages without a file/stream name.
mkhl (author)
Tue Mar 17 12:13:11 -0700 2009
commit  9e643379c92eff0b7309080d2257ec1c75006be1
tree    15beab08300f483b1a0bf926ac3942485a728f25
parent  9e9e53386780706698e64f49aff5fe6945130e88
maude.tmbundle / info.plist
100644 175 lines (174 sloc) 7.505 kb
raw blame history 
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
	<key>contactEmailRot13</key>
	<string>znegva.xhruy@tznvy.pbz</string>
	<key>contactName</key>
	<string>Martin Kuehl</string>
	<key>deleted</key>
	<array>
		<string>C0C322C2-B05E-4316-B389-889537FF44C3</string>
		<string>F3AFDAE1-C6AD-4756-B872-E4A689AC6C28</string>
		<string>172ECD23-808F-468B-B295-7926116E2A65</string>
	</array>
	<key>description</key>
	<string>Support for the &lt;a href="http://maude.cs.uiuc.edu/"&gt;Maude&lt;/a&gt; rewriting logic system.</string>
	<key>mainMenu</key>
	<dict>
		<key>items</key>
		<array>
			<string>925BE1B6-A8C6-46E3-97AB-6431B7C4E460</string>
			<string>E2FB1552-7125-44E2-BEAA-AF19829EB622</string>
			<string>------------------------------------</string>
			<string>CB628949-9F82-4FAB-AD25-864FEBE33E51</string>
			<string>3BFAC824-F245-4854-9AD0-3C0DBDB43CEC</string>
			<string>8C7A9051-FB72-443A-96A1-F685FEDE9F0B</string>
			<string>835A1CEF-A5C6-49D5-8378-9F075E694E0A</string>
			<string>------------------------------------</string>
			<string>87DB6135-3D82-4ADB-B036-925AB4B4CE87</string>
			<string>------------------------------------</string>
			<string>14808F96-3391-43D5-B909-E1C8533C352F</string>
			<string>17D8D4AF-6ABE-4BEC-9109-1AC63DC62F09</string>
			<string>------------------------------------</string>
			<string>1A4F5F01-F94C-478D-BAD5-E904317C591F</string>
			<string>F608AA98-96A9-4116-9BC1-1D4CD0A186C4</string>
			<string>88546E07-F909-4C42-96F2-598B8367DDFD</string>
		</array>
		<key>submenus</key>
		<dict>
			<key>14808F96-3391-43D5-B909-E1C8533C352F</key>
			<dict>
				<key>items</key>
				<array>
					<string>A98B61EA-FE01-4878-80B9-428EF2F5F3D5</string>
					<string>0AD8198F-1998-4A2C-8B06-846F718ACB8D</string>
					<string>9EDFE5AA-F505-4E2A-B833-D6C98B76C19A</string>
					<string>4D95482D-1C0F-4513-9468-06FD9717A260</string>
					<string>9BBB474E-F4FE-4966-9EDD-BBA90150D2D6</string>
				</array>
				<key>name</key>
				<string>Modules</string>
			</dict>
			<key>17D8D4AF-6ABE-4BEC-9109-1AC63DC62F09</key>
			<dict>
				<key>items</key>
				<array>
					<string>081BBBF9-4220-4F29-816D-B5C0ED179266</string>
					<string>75E86A8A-0D5E-4EC3-8E9F-605FB96EA38F</string>
					<string>17B54292-585D-4E21-B2DE-A19EA36CDB63</string>
					<string>D2FEA603-AC6A-4E67-8DA7-2817BDDA5D1B</string>
				</array>
				<key>name</key>
				<string>Imports</string>
			</dict>
			<key>1A4F5F01-F94C-478D-BAD5-E904317C591F</key>
			<dict>
				<key>items</key>
				<array>
					<string>72177D77-C396-4E86-8C2D-8B3671B47625</string>
					<string>A00E6776-6B0C-47CF-B8AA-52BD77A41612</string>
					<string>34183C99-3572-4FC3-A196-FEB08D9D15E5</string>
					<string>6E6E0169-8F6F-4872-918C-B5E12E627A26</string>
					<string>4EB9D60F-EB36-4FB1-8A6A-41E5F6A7E817</string>
				</array>
				<key>name</key>
				<string>Renamings</string>
			</dict>
			<key>88546E07-F909-4C42-96F2-598B8367DDFD</key>
			<dict>
				<key>items</key>
				<array>
					<string>5613C6A9-4B95-457E-8C67-D167EBF9F12F</string>
					<string>08B03E84-1365-4FFA-A073-8114BB78C66C</string>
					<string>2CB5316A-5713-4862-970D-CA4918B8072E</string>
					<string>E3D7675C-9579-40A0-9767-D4007D2363C9</string>
					<string>------------------------------------</string>
					<string>B1ABD2C5-C064-450A-87AB-93A037059ED4</string>
					<string>6513357D-7673-4A53-A86E-B7AB4F54C444</string>
					<string>CB4A2AF3-F8AB-4579-8B62-6676E11AF956</string>
					<string>------------------------------------</string>
					<string>427EB032-A5F6-4200-8486-A278E7DF7C04</string>
				</array>
				<key>name</key>
				<string>Statements</string>
			</dict>
			<key>F608AA98-96A9-4116-9BC1-1D4CD0A186C4</key>
			<dict>
				<key>items</key>
				<array>
					<string>B19C8EA7-6C80-44CA-9EFD-AE8D4F7F0858</string>
					<string>FA4E7DA9-778D-471D-9F98-58559F5C5DFD</string>
					<string>25222E32-B286-4905-8015-E84BC8C6EAA0</string>
					<string>87B715D3-315B-46FB-A787-367984837FA0</string>
					<string>------------------------------------</string>
					<string>E444FC87-A75F-4FBC-BC56-C22179EE2F41</string>
					<string>25798EC9-F4AC-4B55-B94B-660A29E84B8A</string>
					<string>------------------------------------</string>
					<string>61355302-337F-486D-86EA-1A7611E87FB1</string>
					<string>A66CEC90-1600-4297-B5F7-631D990270E6</string>
					<string>CB2FFA2F-4FC0-4F59-9E90-05FAAAC1846F</string>
					<string>86D24B8B-1168-43A5-AE91-FD026265D8EE</string>
					<string>A0D887AC-C044-46EE-90DC-78A29B9C5AAE</string>
				</array>
				<key>name</key>
				<string>Declarations</string>
			</dict>
		</dict>
	</dict>
	<key>name</key>
	<string>Maude</string>
	<key>ordering</key>
	<array>
		<string>925BE1B6-A8C6-46E3-97AB-6431B7C4E460</string>
		<string>E2FB1552-7125-44E2-BEAA-AF19829EB622</string>
		<string>CB628949-9F82-4FAB-AD25-864FEBE33E51</string>
		<string>3BFAC824-F245-4854-9AD0-3C0DBDB43CEC</string>
		<string>8C7A9051-FB72-443A-96A1-F685FEDE9F0B</string>
		<string>835A1CEF-A5C6-49D5-8378-9F075E694E0A</string>
		<string>87DB6135-3D82-4ADB-B036-925AB4B4CE87</string>
		<string>A98B61EA-FE01-4878-80B9-428EF2F5F3D5</string>
		<string>0AD8198F-1998-4A2C-8B06-846F718ACB8D</string>
		<string>9EDFE5AA-F505-4E2A-B833-D6C98B76C19A</string>
		<string>4D95482D-1C0F-4513-9468-06FD9717A260</string>
		<string>9BBB474E-F4FE-4966-9EDD-BBA90150D2D6</string>
		<string>081BBBF9-4220-4F29-816D-B5C0ED179266</string>
		<string>75E86A8A-0D5E-4EC3-8E9F-605FB96EA38F</string>
		<string>17B54292-585D-4E21-B2DE-A19EA36CDB63</string>
		<string>D2FEA603-AC6A-4E67-8DA7-2817BDDA5D1B</string>
		<string>B19C8EA7-6C80-44CA-9EFD-AE8D4F7F0858</string>
		<string>FA4E7DA9-778D-471D-9F98-58559F5C5DFD</string>
		<string>72177D77-C396-4E86-8C2D-8B3671B47625</string>
		<string>A00E6776-6B0C-47CF-B8AA-52BD77A41612</string>
		<string>34183C99-3572-4FC3-A196-FEB08D9D15E5</string>
		<string>6E6E0169-8F6F-4872-918C-B5E12E627A26</string>
		<string>4EB9D60F-EB36-4FB1-8A6A-41E5F6A7E817</string>
		<string>25222E32-B286-4905-8015-E84BC8C6EAA0</string>
		<string>87B715D3-315B-46FB-A787-367984837FA0</string>
		<string>E444FC87-A75F-4FBC-BC56-C22179EE2F41</string>
		<string>25798EC9-F4AC-4B55-B94B-660A29E84B8A</string>
		<string>61355302-337F-486D-86EA-1A7611E87FB1</string>
		<string>A66CEC90-1600-4297-B5F7-631D990270E6</string>
		<string>CB2FFA2F-4FC0-4F59-9E90-05FAAAC1846F</string>
		<string>86D24B8B-1168-43A5-AE91-FD026265D8EE</string>
		<string>A0D887AC-C044-46EE-90DC-78A29B9C5AAE</string>
		<string>5613C6A9-4B95-457E-8C67-D167EBF9F12F</string>
		<string>08B03E84-1365-4FFA-A073-8114BB78C66C</string>
		<string>2CB5316A-5713-4862-970D-CA4918B8072E</string>
		<string>E3D7675C-9579-40A0-9767-D4007D2363C9</string>
		<string>B1ABD2C5-C064-450A-87AB-93A037059ED4</string>
		<string>6513357D-7673-4A53-A86E-B7AB4F54C444</string>
		<string>427EB032-A5F6-4200-8486-A278E7DF7C04</string>
		<string>CB4A2AF3-F8AB-4579-8B62-6676E11AF956</string>
		<string>35828219-9EDE-44B0-A1EB-A277858E3534</string>
		<string>43854F5F-3FFB-46AE-BFAA-6E07571C2138</string>
		<string>62E704E7-D92C-4F9D-8F8D-23767F220C7D</string>
		<string>5345970D-5610-4102-BE01-F823F463B843</string>
		<string>6DDD7600-184F-470A-B009-2F1B7C8F2011</string>
		<string>ADBE1A21-56E9-40F7-A821-42ABBFDA0901</string>
		<string>78A10501-D9FC-4A8C-9C51-46F84C4CA517</string>
	</array>
	<key>uuid</key>
	<string>DC431C52-9E0C-49AC-A178-FEF388470627</string>
</dict>
</plist>