Email Gateway (Mar 18 2024 at 11:06): Email Gateway (Mar 18 2024 at 11:06):From: Lawrence Paulson <lp15@cam.ac.uk>
Since Saturday I have been unable to use mercurial commands. I keep getting asked for a password:
paulson@lxbroy10.informatik.tu-muenchen.de's password:
I do know the password but it is now rejected. And I have not been asked for this password before.
Larry
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Apr 28 2024 at 12:28 UTC