k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Rule numbering

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Rule numbering
Date: Sun, 18 May 2014 20:22:42 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

I tried labeling rules like [latex(\label{rule_name})] and then referring to it by \ref{rule_name}. But it didn't work.

On Sun, May 18, 2014 at 2:03 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

Is there a way to number the rules so that they can be referenced easily? I need the numbers to make it into the generated tex file. So instead of saying just "RULE", it would say "RULE #5" for example depending on its place in the file.

[K-user] Rule numbering, Omar Duhaiby, 05/18/2014
- Re: [K-user] Rule numbering, Omar Duhaiby, 05/18/2014
  - Re: [K-user] Rule numbering, Traian Florin Şerbănuţă, 05/18/2014
    - Re: [K-user] Rule numbering, Omar Duhaiby, 05/19/2014