[Verifpal] Verifpal 2020 Plans
nadim at symbolic.software
Fri Jan 24 10:56:53 CET 2020
That is an excellent idea and would be simple to implement. You can
definitely expect it this year.
Symbolic Software • https://symbolic.software
Sent from office
On Fri, Jan 24, 2020 at 10:42 AM Max(☭) <suraev at alumni.ntnu.no> wrote:
> Excellent developments ahead, looking forward to it.
> Are there any plans to add generation of MSC diagrams (in mscgen format
> perhaps or alike) similar to the ones used in Verifpal manual directly
> from .vp files?
> Verifpal mailing list
> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal