Skip to Content.
Sympa Menu

k-user - Re: [K-user] Rule numbering

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Rule numbering


Chronological Thread 
  • From: Omar Duhaiby <3omarz AT gmail.com>
  • To: Traian Șerbănuță <traian.serbanuta AT gmail.com>
  • Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: Re: [K-user] Rule numbering
  • Date: Mon, 19 May 2014 14:43:11 +0300
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

Ok I created an issue.


On Sun, May 18, 2014 at 11:30 PM, Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro> wrote:
Hi Omar,

That seems like an interesting idea.  However, this functionality is not supported yet. Would you mind adding a feature request to the issues site?  Maybe we find somebody to give it a try over the summer.

best wishes,
Traian


2014-05-18 20:22 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:
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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user






Archive powered by MHonArc 2.6.16.

Top of Page