K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Hi all,

OK, thank you for the links. You'd perhaps also like to add a link to
these on the first page of the K Project...

Cheers,
--Hossein

2012/2/16 Traian Florin Șerbănuță 
<tserban2 AT illinois.edu>:
> And I am using successfully (and maintaining) the one for vim.
>
> best wishes,
> -traian
>
> 2012/2/16 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
>>
>> _______________________________________________
>> k-user mailing list
>> k-user AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
>



-- 
--------------------------------------------------------------------------------------------------------------

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/
--------------------------------------------------------------------------------------------------------------