[Verifpal] latest manual link

Max(☭) suraev at alumni.ntnu.no
Fri Dec 6 17:06:24 CET 2019


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.





More information about the Verifpal mailing list