![File:Key-tool.jpg](https://upload.wikimedia.org/wikipedia/commons/thumb/4/4f/Key-tool.jpg/800px-Key-tool.jpg)
Size of this preview: 800 × 581 pixels. Other resolutions: 320 × 233 pixels | 640 × 465 pixels | 999 × 726 pixels.
Original file (999 × 726 pixels, file size: 150 KB, MIME type: image/jpeg)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 08:44, 28 August 2009 | ![]() | 999 × 726 (150 KB) | Danielbruns | {{Information |Description=Screenshot of the KeY tool |Source=own work |Date=2009-08-28 |Author=[http://www.key-project.org/ The KeY Project] |Permission={{free screenshot|license={{GPL}}}} |other_versions= }} |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on fr.wikipedia.org
- Usage on www.wikidata.org