File:ExperimentExp12Win.zip
Jump to navigation
Jump to search
ExperimentExp12Win.zip (file size: 1.09 MB, MIME type: application/zip)
Warning: This file type may contain malicious code. By executing it, your system may be compromised.
The 12'th release of the Rodin DSL, cross compiled on Fedora Linux using GHC.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 16:13, 29 August 2009 | (1.09 MB) | Ha$kell (talk | contribs) | The 12'th release of the Rodin DSL, cross compiled on Fedora Linux using GHC. |
You cannot overwrite this file.
File usage
There are no pages that use this file.