[isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de

Lawrence Paulson lp15 at cam.ac.uk
Tue Mar 19 13:28:36 CET 2024


I wonder why only I am suddenly getting password demands then? (With the password always rejected.) With a new release looming, I will have things to install. 

Larry

> On 19 Mar 2024, at 12:24, Jasmin Blanchette <jasmin.blanchette at ifi.lmu.de> wrote:
> 
> Yes, it works as usual for me.



More information about the isabelle-dev mailing list