K-user mailing list

[Omar Duhaiby <3omarz AT gmail.com>]

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