Filename ▼	Summary + Labels ▼	Uploaded ▼	ReleaseDate ▼	Size ▼	DownloadCount ▼	...
	A4EXtext2-0.3.1-preview2.zip	A4E Xtext2 0.3.1 preview 2   Featured	May 8	May 8	4.8 MB	4
	A4E-0.2.33.zip	A4E 0.2.33: kill your A4 processes properly within Eclipse!	Dec 2008		4.2 MB	873
	A4E-0.2.30.zip	Update to A4 4.1.9	Nov 2008		2.9 MB	169
	A4E-0.2.29.zip	A4 4.1.7 plus a few bug fixes.	Jul 2008		3.0 MB	307
	a4e-0.2.27-M3.zip	A4E M3: Alloy 4.1.2 with improved integration into Eclipse	Apr 2008		4.2 MB	172
	alloy4eclipse-0.2.24-M2.zip	Full feature Eclipse Plugin for Alloy 4 (evaluator, unsat core, etc) + A4 RC20	Mar 2008		4.2 MB	248
	alloy4eclipse-0.2.16.zip	A4E 0.2.16: enjoy A4 RC14 in Eclipse	Dec 2007		3.8 MB	339
	alloy4eclipse-0.1.16.zip	Improved visualization support for both Win32 and Linux	Oct 2007		5.1 MB	214
	alloy4eclipse-0.1.12.zip	Alloy 4 RC11 within Eclipse	Oct 2007		5.0 MB	89
	alloy4eclipse-0.1.6.zip	Alloy 4 RC 10 under Eclipse with improved visualization management	Jun 2007		5.5 MB	159
	alloy4eclipse-0.1.1.zip	Enjoy Alloy 4 specifications in your Eclipse	Apr 2007		5.1 MB	390