Re: [vile] mCRL filter

[Paul van Tilburg]

On Wed, Aug 09, 2006 at 06:45:41PM -0400, Thomas Dickey wrote:
> On Wed, 9 Aug 2006, Paul van Tilburg wrote:
> >By the way, this is was I added to macros/modes.rc:
> >----
> >define-mode mcrl
> >~with define-submode mcrl
> >       suf             '\.\(mcrl\|mcrl2\)$'
> >       fence-pairs     '{}()[]'
> >       comment-prefix  '^\s*%'
> >       comments        '^\s*%.*$'
> >~endwith
> >---
> 
> I'm not sure (will have to read the code), but comparing with some other
> patterns, see this works:
> 
>         comments        '^\s*%\s+*$'

That's odd... will this not only match '%' preceeded and followed by
spaces till the end of the line?  Since the comments of the mCRL file work
the same as in LaTeX I copied the comments directive as written at the top
of this mail.  Maybe the semantics of the comments directive is a bit
different than how I understood it?

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