Re: [Rodin-b-sharp-user] Problems using ProB

[Daniel S. <das...@st...>]

Fine, that works! Thank you, Jens.

Regards,
Daniel


Jens Bendisposto schrieb:
> Hi Daniel,
>
> the binary in the release does not work for Leopard. In the next 
> release this issue will be fixed, however in the meantime you can use 
> the following workaround:
>
> Replace  the folder 
> <YourRodinDir>/plugins/de.prob.cli_1.7.0/prob/macos by the folder you 
> can download 
> from https://cobra.cs.uni-duesseldorf.de/prob/trunk/core/de.prob.cli/prob/macos 
>
> Regards,
> Jens
>
>
> On Sep 25, 2010, at 7:49 PM, Daniel Schweizer wrote:
>
>> Hello everyone!
>>
>> I am completely new to Rodin,  having problems with ProB.
>> I installed the two required ProB plug-ins and restarted Rodin. When I
>> try to open the ProB Perspective, I get the following error message:
>> "An error occured. Reason: Could not determine port of ProB server"
>> I'm using Rodin 1.3.1 on Mac OS 10.5.8. Can anyone give me some help?
>>
>> kind regards
>> Daniel
>>
>>
>>
>>
>>
>>
>>
>> ------------------------------------------------------------------------------
>> Start uncovering the many advantages of virtual appliances
>> and start using them to simplify application deployment and
>> accelerate your shift to cloud computing.
>> http://p.sf.net/sfu/novell-sfdev2dev
>> _______________________________________________
>> Rodin-b-sharp-user mailing list
>> Rod...@li...
>> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
>