K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Yes, you are right Omar.  We were planning on modifying the Latex backend to include ALL the information in the original .k file.  We hope we will do this asap.  I'm going to add it as an issue in the developers' github account.

Cheers,

Grigore

 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Omar Duhaiby [3omarz AT gmail.com]
Sent: Saturday, June 07, 2014 3:23 PM
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Precedence ">" does not show in latex output

perhaps add a subscript to the "|" that says "higher precedence" or just ">".

On Sat, Jun 7, 2014 at 11:21 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

In syntax, the precedence among multiple productions, denoted by the ">" operator, is not shown in the latex output. I know it's not standard BNF but that is omitting important information and we should find a solution.

Thank you