Allow easy access to underlying A4 version

[GoogleCodeExporter]

There is currently no easy way for A4E user to know which version of A4
ships with the plugin.

We need to find a way to allow the user to check that information easily.

Original issue reported on code.google.com by daniel.l...@gmail.com on 4 Nov 2007 at 9:18

[GoogleCodeExporter]

Original comment by daniel.l...@gmail.com on 24 Jan 2008 at 9:23

• Added labels: Milestone-M4

[GoogleCodeExporter]

Original comment by lionel.d...@gmail.com on 13 Mar 2008 at 9:58

• Added labels: Usability

[GoogleCodeExporter]

The underlying A4 version information is now displayed on both the Info console
(displaying A4 parsing infos) and the evaluator console.

Nicolas, you were the one requesting that feature, does it suits you?

Original comment by daniel.l...@gmail.com on 21 Mar 2008 at 9:25

[GoogleCodeExporter]

Adding the info in the console is a very good idea.
In addition, I recommend that we include this information
in the plugin.properties for fr.univartois.cril.alloyplugin.launch
in a way that is accessible as part of the metadata Eclipse shows
about each plugin/feature bundle.

Original comment by nicolas....@gmail.com on 26 Mar 2008 at 2:17

[GoogleCodeExporter]

Nicolas,

The version of the plugin must follow the N.N.N[.S] pattern where N is a number 
and S
a string.

I do not see where we can put A4 RC 20.

Currently, the third number is the RC number (e.g. 0.2.20 means "ships with A4 
RC 20").

--Daniel

Original comment by daniel.l...@gmail.com on 26 Mar 2008 at 9:36

[GoogleCodeExporter]

We are almost done.

Original comment by rdrue...@gmail.com on 27 Mar 2008 at 9:53

• Added labels: Milestone-M3
• Removed labels: Milestone-M4

[GoogleCodeExporter]

Release 4.1 of A4 is now making 4.1.0 version plugin.

Original comment by daniel.l...@gmail.com on 2 Apr 2008 at 8:36

• Changed state: Fixed