Go to the next review if there is no more pending sub-goal

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

#74 Go to the next review if there is no more pending sub-goal

Milestone: V0.8.x

Status: closed

Owner: Son Hoang

Labels: Event-B Prover (105)

Priority: 5

Updated: 2008-03-06

Created: 2008-01-08

Creator: Son Hoang

Private: No

Currently, if there is no more pending subgoal, the interactive proof interface does nothing. The ideal situation should be that it goes the next review sub-goal for the user to finish the proof.

This request is originally from Dominique Cansell by a private mail.

Discussion

Son Hoang - 2008-01-08

labels: --> Event-B Prover

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

Son Hoang - 2008-03-06

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

Go to the next review if there is no more pending sub-goal

Group

Searches

Help

#74 Go to the next review if there is no more pending sub-goal

Discussion