[Rodin-b-sharp-user] Problems with 1.1

[Pierre C. <pie...@la...>]

Hello,

   I've got some problems with rodin 1.1.

  First, is there a documentation about the user interface (e.g. how to 
switch from the
text editor to the 0.9 like editor).

  Which version of jdk and eclipse is needed on Linux ?


Pierre