partial display of searched hypothesis

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

#222 partial display of searched hypothesis

Milestone: V0.8.2

Status: closed-fixed

Owner: Son Hoang

Labels: Event-B interface (231)

Priority: 5

Updated: 2008-10-17

Created: 2008-09-18

Creator: Paul

Private: No

When getting numerous results after looking hypothesis, the display of these hypothesis is partial.
All hypothesis are loaded but only the first part is displayed.
To see the last hypothesis, you have to suppress some displayed hypothesis.

Discussion

Paul - 2008-09-18

symptôme.jpg

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

Son Hoang - 2008-10-17

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

partial display of searched hypothesis

Group

Searches

Help

#222 partial display of searched hypothesis

Discussion