k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] pdf/latex generation

From: Cosmin Radoi <cos AT illinois.edu>
To: sergio <syovine AT dc.uba.ar>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] pdf/latex generation
Date: Fri, 16 Sep 2016 10:40:09 -0500

Hi Sergio,

kdoc has not been fully ported to K 4.0 yet. It should be available in one or
two months, with the release of K 4.1. We'll keep you updated.

Cosmin

> On Sep 15, 2016, at 1:56 PM, sergio
> <syovine AT dc.uba.ar>
> wrote:
>
> Hi,
>
> I've tried generating latex/pdf documentation with no luck.
>
> I've tried several alternatives: kcompile --pdf (as explained in the
> tutorial), kcompile --backend pdf (as explained in the help displayed with
> --
> help) and even kdoc (4.0), but nothing worked.
>
> The first two ways seem to be deprecated, and kdoc runs but generates
> nothing.
>
> I'd appreciate your help. Thanks!
>
> Sergio
>

[[K-user] ] pdf/latex generation, sergio, 09/15/2016
- <Possible follow-up(s)>
- Re: [[K-user] ] pdf/latex generation, Cosmin Radoi, 09/16/2016