On Wed, Dec 19, 2012 at 5:30 PM, Olivier Biot wrote:
> Hi all,
>
> I propose to extend LSR snippet 543 (counters in markup,
> http://lsr.dsi.unimi.it/LSR/Snippet?id=543) by adding a "getcounter"
> command that does NOT increment a counter when called (as opposed to the
> current "counter" command)
Hi all,
I propose to extend LSR snippet 543 (counters in markup,
http://lsr.dsi.unimi.it/LSR/Snippet?id=543) by adding a "getcounter"
command that does NOT increment a counter when called (as opposed to the
current "counter" command):
#(define-markup-command (getcounter layout props name) (string
