%% Do not edit this file; it is auto-generated from LSR http://lsr.dsi.unimi.it
%% This file is in the public domain.
-\version "2.11.53"
+\version "2.13.1"
\header {
lsrtags = "text, paper-and-layout, titles"
"
doctitle = "Demonstrating all headers"
} % begin verbatim
+
\header {
copyright = "copyright"
title = "title"
copyright = "localcopyright"
}
}
+