Error while openin tex file

[amirh...@gmail.com]

I'm new to ProB and I'm writing some schemas in Z.
I have a tex file which is run on my friends systems but when I open it, it gives the error while executing fuzz.

I have put the tex file and czt.sty files in same directory.

I tried both on linux and wndows but the result is same.
I have used fuzz no where in code.

[Michael Leuschel]

Thanks for reporting the issue.
There was a problem in our build script that did not copy all of fuzz to ProB’s lib folder.
Fuzz is the parser for Z which we use.

The issue should be corrected for the nightly build and soon also for the 1.9.0-release (hopefully in an hour or so).
Kind regards,
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 post to this group, send email to prob-...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/prob-users/7756351c-cded-4de0-afd8-645e87486c16%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
> <error.jpg>

[amirh...@gmail.com]

Thank you very much.
So waiting for the fixed version.

On Wednesday, July 17, 2019 at 7:35:56 PM UTC+4:30, Michael Leuschel wrote:

Thanks for reporting the issue.
There was a problem in our build script that did not copy all of fuzz to ProB’s lib folder.
Fuzz is the parser for Z which we use.

The issue should be corrected for the nightly build and soon also for the 1.9.0-release (hopefully in an hour or so).
Kind regards,
Michael

> On 16 Jul 2019, at 20:23, amirh...@gmail.com wrote:
>
> <error.jpg>
>
> I'm new to ProB and I'm writing some schemas in Z.
> I have a tex file which is run on my friends systems but when I open it, it gives the error while executing fuzz.
> I have put the tex file and czt.sty files in same directory.
> I tried both on linux and wndows but the result is same.
> I have used fuzz no where in code.
>
> --
> 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-...@googlegroups.com.