Email Gateway (Mar 19 2024 at 12:25): Email Gateway (Mar 19 2024 at 12:25):From: Jasmin Blanchette <jasmin.blanchette@ifi.lmu.de>
Yes, it works as usual for me.
Jasmin
Email Gateway (Mar 19 2024 at 12:29):From: Lawrence Paulson <lp15@cam.ac.uk>
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
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 19 2024 at 12:33):From: Peter Lammich <lammich@in.tum.de>
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 19 2024 at 21:05):From: Makarius <makarius@sketis.net>
It looks fine for me, but I think I had to tinker with the ssh setup a few
days ago: like resetting the entry for lxbroy10 in ~/.ssh/known_hosts
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 19 2024 at 21:08):From: Manuel Eberl <manuel@pruvisto.org>
For me that the SSH access works fine, but the HTTP access times out.
Manuel
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 19 2024 at 21:11):From: Lawrence Paulson <lp15@cam.ac.uk>
I can’t do that, because I have no way of logging into lxbroy10
Larry
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 19 2024 at 21:11):From: Manuel Eberl <manuel@pruvisto.org>
Then how do you push stuff to the repository?
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Dec 21 2024 at 16:20 UTC