[Top][All Lists]

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

Re: [vile] mCRL filter

From: Paul van Tilburg
Subject: Re: [vile] mCRL filter
Date: Wed, 9 Aug 2006 23:16:58 +0200
User-agent: Mutt/1.5.12-2006-07-14

On Tue, Aug 08, 2006 at 06:08:10PM -0400, Thomas Dickey wrote:
> On Tue, 8 Aug 2006, Paul van Tilburg wrote:
> > [...]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?
> The only thing that I see is that the "..default" in the mcrl.key file
> should have a single "." (".default").

I have no '..default' in my key file? 
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*%.*$'
and to filters/filters.rc:
define-mode mcrl
~with define-submode mcrl
        filtername      'vile-mcrl-filt -k mcrl'

Maybe the strange comment-wrapping follows from errors in these directives?



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

reply via email to

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