[vile] mCRL filter

[Paul van Tilburg]

Hello all,

I have written a filter to highlight the mCRL/mCRL2 specification and
model language.  Attached are the two relevant files.  I don't know if
it can be included in the distribution.
I've found still one problem with it though.  If one tries to format the
comment, it is just left alone, nothing changes.  I recall the latex
filter having the same problem.  How can it be solved?

Kind regards,
Paul

-- 
Student @ Eindhoven                         | email: address@hidden
University of Technology, The Netherlands   | JID: address@hidden
>>> Using the Power of Debian GNU/Linux <<< | GnuPG key ID: 0x50064181

mcrl-filt.l
Description: Text document

mcrl.key
Description: Text document

signature.asc
Description: Digital signature