[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[vile] mCRL filter

From: Paul van Tilburg
Subject: [vile] mCRL filter
Date: Tue, 8 Aug 2006 21:36:37 +0200
User-agent: Mutt/1.5.12-2006-07-14

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,

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

Attachment: mcrl-filt.l
Description: Text document

Attachment: mcrl.key
Description: Text document

Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]