k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] vim syntax file?

From: Chris Hathhorn <chathhorn AT gmail.com>
To: Ömer Sinan Ağacan <omeragacan AT gmail.com>
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] vim syntax file?
Date: Sun, 18 Aug 2013 16:39:38 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

On Sun, Aug 18, 2013 at 4:26 PM, Ömer Sinan Ağacan
<omeragacan AT gmail.com>
wrote:
> While watching some tutorial videos about K, I saw someone using Vim
> with colorized K syntax, if anyone has that syntax file, can you
> please share with me? I searched in K website but couldn't find
> anything.
>

This can be found here:

https://github.com/kframework/k/tree/master/dist/share/editor-support

Chris

[K-user] vim syntax file?, Ömer Sinan Ağacan, 08/18/2013
- Re: [K-user] vim syntax file?, Chris Hathhorn, 08/18/2013
  - Re: [K-user] vim syntax file?, Ömer Sinan Ağacan, 08/18/2013