<div dir='auto'>I could log in with my usual stored credentials, i.e. without entering my password<div dir="auto"><br></div><div dir="auto">Peter </div></div><div class="gmail_extra"><br><div class="gmail_quote">On 19 Mar 2024 12:50, Lawrence Paulson <lp15@cam.ac.uk> wrote:<br type="attribution" /><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Are others able to reach this machine and use Mercurial as usual? </p>
<p dir="ltr">Larry</p>
<p dir="ltr">_______________________________________________<br>
isabelle-dev mailing list<br>
isabelle-dev@in.tum.de<br>
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev<br>
</p>
</blockquote></div><br></div>