[% IF session.source %]
	<ul>
	[% IF session.username %]
		[% IF session.have_pdf %]
			<li><a href='[% 'users/' _ session.username _ '/OUT/' _  session.basename _ '.pdf'  %]'>PDF file</a> </li>
		[% END %]
		[% IF session.have_tex %]
			<li><a href='[% 'users/' _ session.username _ '/OUT/' _ session.basename _ '.tex'  %]'>LaTeX file</a> </li>
		[% END %]
	[% ELSE %]
		[% IF session.have_pdf %]<li><a href='[% 'PDFs/' _ session.basename _ '.pdf'  %]'>PDF file</a> </li>[% END %]
		[% IF session.have_tex %]<li><a href='[% 'PDFs/' _ session.basename _ '.tex'  %]'>LaTeX file</a> </li>[% END %]
	[% END %]
	</ul>
[% ELSE %]
	No exercise loaded, go <a href="source">back</a> ?
[% END %]