jar file for Alloy 4.1.5

[Miguel Carrillo]

Hi!,

is there a jar file for Alloy 4.1.5?
The url of "All Others: download and double-click this jar file.."
is a zip file.

Thanks!

Miguel.

[Felix Chang-2]

On Sat, 14 Jun 2008, Miguel Carrillo wrote:
> is there a jar file for Alloy 4.1.5?
> The url of "All Others: download and double-click this jar file.."
> is a zip file.

Dear Miguel:

I believe you are mistaken.  The link on the website
points to http://alloy.mit.edu/alloy4/alloy4.jar

And your OS may tell you that it is a ZIP file, because indeed
the Standard Java JAR file format is exactly the same as ZIP format
with the added requirement that there must be a manifest.mf file in it.

So just download the URL as the website indicates
and then double click the file or type "java -jar alloy4.jar"
as the website indicates.

Sincerely,
Felix Chang
Alloy4 Developer