[Verifpal] Verifpal 2020 Plans

Nadim Kobeissi nadim at symbolic.software
Fri Jan 24 10:56:53 CET 2020


 Hi Max,

That is an excellent idea and would be simple to implement. You can
definitely expect it this year.

Thanks,

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office


On Fri, Jan 24, 2020 at 10:42 AM Max(☭) <suraev at alumni.ntnu.no> wrote:

> Hi!
>
> 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?
>
> cheers,
>
> Max.
>
>
>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200124/da4f5379/attachment.htm>


More information about the Verifpal mailing list