Skip to Content.

Sympa Menu

k-user - [[K-user] ] KDoc

List Options Menu

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] KDoc

From: Mihály Palenik <palenik.mihaly AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] KDoc
Date: Thu, 1 Mar 2018 21:13:30 +0100

Hello,

I use K 4.0. Is there any chance to generate latex/pdf with kdoc?

Thank you your answers in advance.

Best regards,

Mihály Palenik

[[K-user] ] KDoc, Mihály Palenik, 03/01/2018

Archive powered by MHonArc 2.6.19.