Jump to content

File:TLA+ logo splash image.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

TLA+_logo_splash_image.png (248 × 165 pixels, file size: 18 KB, MIME type: image/png)

Summary

Description
English: The TLA+ logo, seen as the splash screen when the TLA+ toolbox is started. (c) Edward Lamport.
Source https://github.com/tlaplus/tlaplus/blob/master/toolbox/org.lamport.tla.toolbox/images/splash_small.bmp
Author Edward Lamport

Licensing

This file is licensed under the Expat License, sometimes known as the MIT License:

Copyright © The author(s)

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 sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

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 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.


To uploader: MIT License has various versions, you may want to specify the license more precisely. Click {{MIT}} to see details.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current03:16, 14 May 2015Thumbnail for version as of 03:16, 14 May 2015248 × 165 (18 KB)Andrew HelwerUploading a non-free logo using File Upload Wizard

The following page uses this file:

Global file usage

The following other wikis use this file:

  • Usage on fr.wikipedia.org