Hypothesis View

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#81 Hypothesis View

Status: closed

Owner: Son Hoang

Labels: Event-B Prover (105)

Priority: 5

Updated: 2008-04-29

Created: 2008-03-21

Creator: Alex Iliasov

Private: No

... does not refresh itself when going to the next PO. (The view becomes empty and must be closed/opened to make it work.)

Discussion

Farhad Mehta - 2008-03-23

assigned_to: mehta --> tshoang
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Son Hoang - 2008-04-14

Logged In: YES
user_id=1320217
Originator: NO

I need to have more information on this. What do you means by Hypothesis View? Is this the section in the Editor (i.e. Selected Hypotheses) or the separated views (Search/Cache Hypotheses)?
Cheers,
Son

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Son Hoang - 2008-04-14

status: open --> pending
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

SourceForge Robot - 2008-04-29

status: pending --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

SourceForge Robot - 2008-04-29

Logged In: YES
user_id=1312539
Originator: NO

This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.