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 <kenr@...> 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
|