[Verifpal] latest manual link
nadim at symbolic.software
Sat Dec 7 10:40:28 CET 2019
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.
Symbolic Software • https://symbolic.software
Sent from office
On Sat, Dec 7, 2019 at 10:37 AM Max(☭) <suraev at alumni.ntnu.no> wrote:
> 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?
> Verifpal mailing list
> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal