Skip to Content.
Sympa Menu

k-user - Re: [K-user] Syntax Highlighting

k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Syntax Highlighting


Chronological Thread 
  • From: Traian Florin Șerbănuță <tserban2 AT illinois.edu>
  • To: Vlad Rusu <vlad.rusu AT inria.fr>
  • Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: Re: [K-user] Syntax Highlighting
  • Date: Thu, 16 Feb 2012 13:45:26 -0600
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
  • List-id: <k-user.cs.uiuc.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




Archive powered by MHonArc 2.6.16.

Top of Page