Re: [Rodin-handbook] [Rodin-b-sharp-devel] Rodin 2.4RC1

[Lukas L. <luk...@gm...>]

Hi Nicolas and Michael,

Am 17.01.2012 19:29, schrieb Nicolas Beauger:
> Hi Michael,
>
>> Thanks for the build - I just checked the handbook, and things look fine
>> (except the index - but that's my problem, not yours. :-)).  We now
>> started to incorporate the changes since 2.3 into the handbook,
>> especially regarding the editor.

A Michael already mentioned, we started to incorporate the changes into 
the handbook regarding the new editor. As a consequence, I already 
marked (with marginpars) places which we have to adapt.

>> Our plan is to put a new version on
>> the update site on January 25th.  Is that sufficient time to include it
>> into the final 2.4 release?
> Yes, if it's on the update site on February 1st it's OK for integrating
> in the final 2.4 release.

Ok I will put a new version on the update site on January 25th.

>> Also, I noticed that the old handbook (wiki pages) is still included.
>> Considering that all the information has been migrated, can we remove
>> it?  I think it will just confuse users to see two handbooks in the help
>> browser.
> Yes indeed, we will remove the older one.
>
> Cheers,
> Nicolas
>> On 01/17/2012 10:52 AM, Nicolas Beauger wrote:
>>> Dear plug-in developers,
>>>
>>> Rodin 2.4RC1 is now available on sourceforge. It includes a few new
>>> features and is based on Eclipse 3.7.1.
>>> More details at:
>>>
>>> http://wiki.event-b.org/index.php/Rodin_Platform_2.4_Release_Notes
>>>
>>> The code freeze is from now until Monday 30th, date of the final 2.4
>>> release (public announce on February 1st).
>>>
>>> Please take time to complete the plug-in availability page:
>>>
>>> http://wiki.event-b.org/index.php?title=Rodin_Platform_2.4_External_Plug-ins
>>>
>>> The binary distribution on SF is at:
>>>
>>> http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4RC1
>>>
>>> As you will probably notice, we also made 64 bit binaries for Windows
>>> and Linux. This does not however means that we decided to release Rodin
>>> 64 bit for these OSes, it is there more as a proposition.
>>> The decision as to whether we should provide these 64 bit binaries has
>>> to be taken collectively, as it would also involve more work for every
>>> plug-in:
>>> * generating - in particular, plug-ins that embed binary executables
>>> would have to be able to provide 64 bit versions of these embedded binaries
>>> * validating
>>> * maintaining (with probably more platform specific bugs)
>>>
>>> We have already been discussing this subject in the past on the user
>>> mailing list, and rejected the idea because of the extra work and the
>>> lack of resources. But as time goes by, 64-bit OSes are more and more
>>> widely used (as shown by the recurrence of the subject in the user list
>>> discussions) and Rodin would take advantage of these releases, being
>>> more easily usable and by more people. So it might be worth giving it a
>>> try and see if it's nonetheless workable.
>>>
>>> So the code freeze time could be a test phase for 64-bit binaries, where
>>> everyone tries to generate his plug-ins for all 5 platforms. In the end
>>> we could make a decision as to whether or not to include them in the
>>> final 2.4 release and further releases.
>>>
>>> Kind regards,
>>> Nicolas
>>>