You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to ProB Users
I have downloaded ProB latest version on my mac os. After giving the necessary permissions from the security and privacy setting I could open It but it doesn't work correctly. Can someone say, how to install proB on mac properly?
You can either install Active Tcl/Tk, but their distribution has become less useful over the years.
There is still no official 8.6 version available.
Probably you should use Tcl/Tk 8.6 from hombrew or ports.
I would also suggest you use the current nightly release of ProB Tcl/Tk https://prob.hhu.de/w/index.php?title=Download#Nightly_Builds
> On 10 Oct 2022, at 12:28, Pamudu Prabathiya <pamudupra...@gmail.com> wrote:
>
> I have downloaded ProB latest version on my mac os. After giving the necessary permissions from the security and privacy setting I could open It but it doesn't work correctly.
> Can someone say, how to install proB on mac properly?
>