[Verifpal] Verifpal 0.6.8

[Mike]

hi all,


> Verifpal 0.6.8 is now available.

FYI, I've found regression like behavior.
As you can see in attached file messages and comments say how it *was* in older versions.
Now 0.6.8 cant understand "A -> B: e" anymore.

(mike)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: c.vp
Type: application/octet-stream
Size: 345 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190917/9732c2e6/attachment.obj>