k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [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: Re: [K-user] TeX Syntax Highlighting for K
Date: Thu, 23 Oct 2014 14:33:00 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi Traian,

Syntax highlighting has been distributed with K for a long time. It is located in the the k.sty file which can be found in the include/latex directory from the distribution.
It's a custom listings environment, named asciik To use it
\begin{asciik}
... K code here ...
\end{asciik}

I see. Thanks! :)

Cheers,

--Hossein

[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