Re: [Rodin-b-sharp-user] Problem with Rodin editor

[Ken R. <ke...@cs...>]

Please ignore this email and humble apologies for disturbing such a large number of people.

I really was having a problem, but I discovered this morning how to achieve what I wanted to do.

All is fine and I am enjoying using this editor.

Thanks,

Ken

On 02/02/2013, at 12:48 AM, Ken Robinson <ke...@cs...> wrote:

> Hello everyone,
> 
> I'm using the Rodin editor in Rodin version 2.7.
> 
> When I'm in a machine refinement and I introduce a new event X, I find that the only refinement option the Rodin editor offers is to refine itself, that is I seem only to be able to get
> 
> X:
> Refines
> X
> 
> I want
> 
> X
> Refines
> Y
> 
> Is there some way of doing this in the Rodin Editor?
> 
> Of course, I can always switch to another editor, but …
> 
> Thanks,
> 
> Ken