k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] TeX Syntax Highlighting for K

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] TeX Syntax Highlighting for K
Date: Thu, 23 Oct 2014 12:36:04 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear all,

I was informed today by an automatic agent about the recently published K Primer 3.3. Well done every one! :) I see you use a syntax highlighting for K there. Is that something you'd be willing to publish online?

Cheers,

--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] TeX Syntax Highlighting for K, Seyed H. HAERI (Hossein), 10/23/2014
- [K-user] TeX Syntax Highlighting for K, Traian Florin Şerbănuţă, 10/23/2014
  - Re: [K-user] TeX Syntax Highlighting for K, Seyed H. HAERI (Hossein), 10/23/2014