Re: [Rodin-b-sharp-user] Proof obligations disappear from Event-B Explorer in Rodin 3.1.0

[Rohit P. <roh...@gm...>]

Resending with removal of http link...which was causing some bad display in
rodin user mailbox...

On Sun, May 31, 2015 at 10:05 AM, Rohit Patil <roh...@gm...
> wrote:

> Dear All,
>
> I found that there is bug reported for below observation.
> Bug : #732
> There is some partial fix but that seem not working as mention in bug.
>
> Is their any workaround to get out of this issues ?
> When will be the release for 3.2 version ?
>
> Please kindly reply.
>
> Thanks,
> ~Rohit
>
>