ID	Type	Status	Priority	Milestone	Owner		Summary + Labels	...
	14	Enhancement	Started	Low	M4	daniel.leberre		Alloy solutions to be visualized in an eclipse XML editor   Maintainability
	30	Enhancement	Accepted	Low	M4	daniel.leberre		Make folders within Alloy Project to appear as Java package   Usability
	42	Enhancement	Started	Medium	M4	daniel.leberre		Show by default A4 wizards in New contextual menu
	46	Defect	Accepted	Medium	----	nicolas.rouquette		A4E answer viewer needs to wait until A4 viz has actually displayed the graph before accessing it
	47	Defect	Accepted	High	M4	daniel.leberre		Caret does not display properly in evaluator console   Usability
	48	Enhancement	Accepted	Medium	Release1.0	daniel.leberre		Uses Albireo project for AWT/SWT integration.   Maintainability
	49	Enhancement	Accepted	Medium	M4	nicolas.rouquette		Better Window management for VizView
	50	Enhancement	Accepted	Low	M4	nicolas.rouquette		A4E Property View
	51	Enhancement	Accepted	Medium	Release1.0	nicolas.rouquette		A4E & domain-specific property view
	52	Enhancement	Accepted	Medium	Release1.0	nicolas.rouquette		Graph-friendly instance navigation/query
	54	Enhancement	Accepted	Medium	Release1.0	rdruelle		Added keyboard accelerator to A4E actions   Usability
	55	Defect	Started	Medium	M4	nicolas.rouquette		Support non-workspace *.als resources in IALSFile
	58	Enhancement	Accepted	Medium	M4	daniel.leberre		Provide occurrence highlightning as in JDT
	59	Enhancement	Accepted	Low	M4	daniel.leberre		Improve syntax coloring
	62	Enhancement	Accepted	Medium	Release1.0	daniel.leberre		Use quick fix to improve Alloy 3 to Alloy 4 move
	63	Defect	New	Medium	Release1.0	----		Not Intuitive Behavior: Run command don't react to saved changes.   Usability
	64	Defect	New	Medium	----	----		"Due to your theme settings, every atom is hidden" message does not give enough info.
	65	Enhancement	Accepted	High	----	nicolas.rouquette		A4E 4.1.9 doesn't have the sources of A4.jar
	66	Enhancement	Accepted	Medium	----	daniel.leberre		Allow power user to have access to temporary generated files   Usability
	69	Enhancement	Accepted	Medium	----	daniel.leberre		Evaluator does not show up if the graph view is maximized
	71	Enhancement	Accepted	Medium	----	daniel.leberre		Allow command history in evaluator   Usability
	72	Defect	Accepted	Medium	----	daniel.leberre		Evaluator console cannot be cancelled   Usability
	76	Defect	Accepted	High	----	daniel.leberre		Next solution does not work any longer   Usability
	77	----	Accepted	----	----	nicolas.rouquette		Missing plugin.properties
	79	Defect	Accepted	High	----	daniel.leberre		Another SWT/AWT problem under Linux GTK2?
	80	----	Accepted	----	----	nicolas.rouquette		Provide an option to sort the outline view alphabetically
	81	----	Accepted	----	----	nicolas.rouquette		Update A4E to run with A4 from MIT's SVN repository
	82	Enhancement	Accepted	Medium	----	daniel.leberre		Allow hyperlink navigation in editor   Usability
	84	Defect	Accepted	High	----	daniel.leberre		A4Solution ans is null when answer is unsat   Usability Maintainability
	85	----	Accepted	----	----	nicolas.rouquette		NPE when opening a text file without extension