Demonstration for ITEA Reviewers

v2.1.0

expect and exact bounds are removed.

Second Release

v2.0.0

remove javadoc from markin on outline

First Release

v1.0.0

cancel operation bug has been fixed.

Demonstration for Tubitak Teydeb Reviewers

Two bugs on AlloyParseHandler have been fixed:

1. If you click LoadSpesification and then click Cancel button without
select any .als file, Marker types was being removed. But now it
doesn't.

2. If there is an mapped marker which is a source marker (which has
MappingAnnotation type), when you load any other spesification file (als
file), the marker's annotation was not being changed as
MarkingAnnotation type. But now it is changing.

Plugin re-organization

v0.7.1

xtext dependency is removed.

Havelsan Product Owner Review Meeting

v0.4

Havelsan Product Owner Review Meeting

Relationship between Markers

v0.3

Merge remote-tracking branch 'origin/master'

Mapping-Target

v0.2

Merge remote-tracking branch 'origin/master'

Marking

v0.1

DeleteAllMarkersAction and MappingView sync has been provided.