[% IF session.username %] [% IF session.have_pdf %]
• PDF file
[% END %] [% IF session.have_tex %]
• LaTeX file
[% END %] [% ELSE %] [% IF session.have_pdf %]
• PDF file
[% END %] [% IF session.have_tex %]
• LaTeX file
[% END %] [% END %]