issues
search
ikuraj
/
alloy4eclipse
Automatically exported from code.google.com/p/alloy4eclipse
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Compile error when importing models shipping with Alloy4
#13
GoogleCodeExporter
closed
8 years ago
1
Double click on one command does not launch the command
#12
GoogleCodeExporter
closed
8 years ago
2
Improve commands contextual menu
#11
GoogleCodeExporter
closed
8 years ago
3
Run as on the Commands root element should launch all the commands
#10
GoogleCodeExporter
closed
8 years ago
2
Double click on an outline category should expand the tree
#9
GoogleCodeExporter
closed
8 years ago
1
NullPointerException when closing and reopening an Alloy file
#8
GoogleCodeExporter
closed
8 years ago
2
Markers do not show up if the problem appear at the end of the alloy file
#7
GoogleCodeExporter
closed
8 years ago
7
Allow Alloy 4 configuration
#6
GoogleCodeExporter
closed
8 years ago
3
Allow visualisation of models and counter examples
#5
GoogleCodeExporter
closed
8 years ago
3
Better integration of Run command into Eclipse
#4
GoogleCodeExporter
closed
8 years ago
5
Allow running separately run or check commands
#3
GoogleCodeExporter
closed
8 years ago
8
Report compilation problem in the problem view instead of the console
#2
GoogleCodeExporter
closed
8 years ago
1
Add formatting capabilities to text editor
#1
GoogleCodeExporter
closed
8 years ago
2
Previous