[Verifpal] latest manual link

Nadim Kobeissi nadim at symbolic.software
Sat Dec 7 10:40:28 CET 2019

Dear Max,

Thanks for pointing out this typo, I've fixed it now in the online version
and it will be soon fixed in the print versions when a new print is due.

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office

On Sat, Dec 7, 2019 at 10:37 AM Max(☭) <suraev at alumni.ntnu.no> wrote:

> Hi.
> The manual available from https://verifpal.com/res/pdf/manual.pdf has
> the same typo as my hardcover book: "Signal" instead of "Scuttlebutt" at
> the very end of section 6.2. This makes me wonder - is there more recent
> version available somewhere?
> cheers,
> Max.
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20191207/1a8df8eb/attachment.htm>

More information about the Verifpal mailing list