K-user mailing list

[Vlad Rusu <vlad.rusu AT inria.fr>]

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