K-user mailing list

[Michael Ilseman <michael.ilseman AT gmail.com>]

Let me know if the syntax is out of date. I can help fix that or
otherwise guide someone else to maintain the k-mode for emacs.

On Thu, Feb 16, 2012 at 10:18 AM, Vlad Rusu 
<vlad.rusu AT inria.fr>
 wrote:
> Hi Hossein
>
> It's here:
> http://code.google.com/p/k-framework/source/browse/trunk#trunk%2Ftools%2Feditor-support
>
> The one for emacs works quite nicely for me.
>
>  Cheers
>
>  Vlad
>
> ----- Original Message -----
> From: "Seyed H. HAERI (Hossein)" 
> <hossein.haeri AT gmail.com>
> To: 
> k-user AT cs.uiuc.edu
> Sent: Jeudi 16 Février 2012 16:41:09
> Subject: [K-user] Syntax Highlighting
>
> Dear all,
>
> Is there any editor at the moment which supports syntax highlighting for K?
>
> TIA,
> --Hossein
>
> --------------------------------------------------------------------------------------------------------------
>
> Seyed H. HAERI (Hossein)
>
> Research Assistant
> Institute for Software Systems (STS)
> Technical University of Hamburg (TUHH)
> Hamburg, Germany
>
> ACCU - Professionalism in programming - http://www.accu.org/
> --------------------------------------------------------------------------------------------------------------
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user