Evaluation window on proB2-UI

0 views
Skip to first unread message

Pamudu Prabathiya

unread,
Dec 27, 2022, 5:33:18 AM12/27/22
to prob-...@googlegroups.com
Hi,
I am using JavaFX-based proB2-UI on my mac and I want to open the evaluation window but I cannot find it. Do you know how I can open that window?
Here I have attached the image of that window.
Thank you.
Screenshot 2022-12-27 at 16.01.04.png

Michael Leuschel

unread,
Dec 28, 2022, 5:35:33 AM12/28/22
to Pamudu Prabathiya, prob-...@googlegroups.com
Hi,

the view is called console in ProB2-UI and should be visible in the lower middle section of your main window.
See the screenshots or videos here:
https://prob.hhu.de/w/index.php?title=ProB2-UI

Greetings,
Michael
> --
> You received this message because you are subscribed to the Google Groups "ProB Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prob-users+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/prob-users/CAMVL37ptHi2tUv_RMc79kgziEHBY5ADp4y%3Da4binqUbjPd4CxA%40mail.gmail.com.
Screenshot 2022-12-27 at 16.01.04.png
Reply all
Reply to author
Forward
0 new messages