[Verifpal] latest manual link

[Nadim Kobeissi]

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>