%% DO NOT EDIT this file manually; it is automatically
-%% generated from LSR http://lsr.dsi.unimi.it
+%% generated from LSR http://lsr.di.unimi.it
%% Make any changes in LSR itself, or in Documentation/snippets/new/ ,
%% and then run scripts/auxiliar/makelsr.py
%%
%% This file is in the public domain.
-\version "2.17.6"
+\version "2.18.0"
\header {
lsrtags = "spacing"
doctitle = "Page label"
} % begin verbatim
-
#(set-default-paper-size "a6")
#(define-markup-command (toc-line layout props label text)