[Verifpal] Renaming HMACVERIF to ASSERT (was: VerifPal 0.5)

Michiel Leenaars michiel.ml at nlnet.nl
Mon Sep 9 15:47:38 CEST 2019


Hi Nadim,

that was quick. Just a reminder that the manual has several references as 
well... 

Best,
Michiel



More information about the Verifpal mailing list