67:
157:
184:
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the
Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
191:
The
Software is provided "as is", without warranty of any kind, express or implied, including but not limited to the warranties of merchantability, fitness for a particular purpose and noninfringement. In no event shall the authors or copyright holders be liable for any claim, damages or other
267:
38:
192:
liability, whether in an action of contract, tort or otherwise, arising from, out of or in connection with the
Software or the use or other dealings in the Software.
130:
185:
sell copies of the
Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
78:
46:
188:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the
Software.
285:
297:
The following pages on the
English Knowledge (XXG) use this file (pages on other projects are not listed):
197:
To uploader: MIT License has various versions, you may want to specify the license more precisely. Click
167:
131:
https://github.com/tlaplus/tlaplus/blob/master/toolbox/org.lamport.tla.toolbox/images/splash_small.bmp
277:
86:
266:
261:
151:
121:
The TLA+ logo, seen as the splash screen when the TLA+ toolbox is started. (c) Edward
Lamport.
37:
73:
198:
301:
234:
Click on a date/time to view the file as it appeared at that time.
61:
105:
85:
Commons is a freely licensed media file repository.
319:
51:(248 × 165 pixels, file size: 18 KB, MIME type:
208:http://opensource.org/licenses/mit-license.php
66:
8:
236:
312:The following other wikis use this file:
299:
7:
115:
98:
44:
284:Uploading a non-free logo using
165:This file is licensed under the
155:
65:
31:
21:
116:
41:No higher resolution available.
14:
26:
1:
154:
338:
316:Usage on fr.wikipedia.org
180:Copyright © The author(s)
111:TLA+ logo splash image.png
47:TLA+_logo_splash_image.png
171:, sometimes known as the
16:
72:This is a file from the
283:
136:
126:
108:
76:. Information from its
79:description page there
286:File Upload Wizard
262:03:16, 14 May 2015
308:Global file usage
290:
226:
225:
204:
144:
143:
94:
93:
74:Wikimedia Commons
32:Global file usage
329:
274:
221:
218:
215:
212:
209:
201:
196:
159:
158:
152:
120:
112:
106:
90:
69:
68:
62:
56:
54:
337:
336:
332:
331:
330:
328:
327:
326:
306:
298:
291:
280:
272:
228:
227:
219:
216:
213:
210:
207:
205:
203:to see details.
199:
176:
156:
150:
145:
122:
110:
103:
96:
95:
84:
83:
82:is shown below.
58:
52:
50:
43:
42:
12:
11:
5:
335:
333:
325:
324:
323:
322:
310:
309:
305:
304:
296:
295:
294:
289:
288:
282:
278:
275:
269:
264:
259:
255:
254:
251:
248:
245:
242:
239:
232:
231:
224:
223:
195:
164:
162:
160:
149:
146:
142:
141:
140:Edward Lamport
138:
134:
133:
128:
124:
123:
113:
104:
102:
99:
97:
92:
91:
70:
60:
59:
40:
36:
35:
34:
29:
24:
19:
13:
10:
9:
6:
4:
3:
2:
334:
321:
318:
317:
315:
314:
313:
307:
303:
300:
292:
287:
281:
279:Andrew Helwer
276:
270:
268:
265:
263:
260:
257:
256:
252:
249:
246:
243:
240:
238:
237:
235:
229:
222:
202:
194:
193:
189:
186:
182:
181:
177:
174:
170:
169:
168:Expat License
163:
161:
153:
147:
139:
135:
132:
129:
125:
119:
114:
107:
100:
88:
81:
80:
75:
71:
64:
63:
57:
48:
39:
33:
30:
28:
25:
23:
20:
18:
15:
311:
233:
230:File history
206:
190:
187:
183:
179:
178:
172:
166:
117:
87:You can help
77:
45:
22:File history
214:MIT license
173:MIT License
109:Description
293:File usage
271:248 × 165
247:Dimensions
27:File usage
244:Thumbnail
241:Date/Time
148:Licensing
118:English:
53:image/png
273:(18 KB)
258:current
253:Comment
200:{{MIT}}
101:Summary
49:
137:Author
127:Source
320:TLA+
302:TLA+
250:User
220:true
217:true
17:File
211:MIT
175::
89:.
55:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.