File:ArtExhibitionCatalog20080811bSQR.jpg
ArtExhibitionCatalog20080811bSQR.jpg (355 × 355 pixels, file size: 17 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 | 09:39, 16 August 2008 | 355 × 355 (17 KB) | MihalOrela | {{Information |Description=Problem of cycling identities solved. |Source=Alloy Analyzer 4.1.8 (build date: 2008/08/07 16:29 EDT) |Date=2008-08-16 |Author=Mihal Orela |Permission={{free screenshot|license={{MIT|Felix Chang}}}} |other_versions= }} [[Categor | |
19:13, 11 August 2008 | 480 × 480 (80 KB) | MihalOrela | {{Information |Description=Screen shot of the Alloy Analyzer |Source= |Date=2008-08-11 |Author=Mihal Orela |Permission={{free screenshot|license={{MIT|Daniel Jackson}}}} |other_versions= }} Category:Visualization Category:Formal methods <!--{{Imag |
File usage
The following page uses this file: