At the time of implementing the Proof Information View, the information about witness was not associated with the proof obligation. I will check again to see if it is already implemented.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I was wrong, the information is always there. It contains in the related event (of course). The problem has been fixed now and committed to the CVS. This will be available in the next release.
Similarly, information for refines clause of event is also added.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
At the time of implementing the Proof Information View, the information about witness was not associated with the proof obligation. I will check again to see if it is already implemented.
I was wrong, the information is always there. It contains in the related event (of course). The problem has been fixed now and committed to the CVS. This will be available in the next release.
Similarly, information for refines clause of event is also added.