[Verifpal] Verifpal for Micro

[Nadim Kobeissi]

Dear Mike,

Thank you very much for this contribution!

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Sep 15, 2019, at 3:46 PM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> hi all,
> 
> https://git.envs.net/mpech/verifpal-micro
> 
> Support for Micro editor:
> o) verifpal syntax highlighting
> o) run model verification inside editor by Ctrl-B
> 
> (mike)
> 
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal