Email Gateway (Jun 03 2021 at 09:57): Email Gateway (Jun 03 2021 at 09:57):From: Lawrence Paulson <lp15@cam.ac.uk>
Now it is about testboard:
src/HOL: hg push_tb
pushing to ssh://paulson@isabelle-server.in.tum.de//p/home/isabelle-repository/repos/testboard
remote: abort: repository /p/home/isabelle-repository/repos/testboard not found!
abort: no suitable response from remote hg!
I added the /p but it didn’t help. I even logged in to lxbroy10. The directory is not there:
lxbroy10: ls -l /p/home/isabelle-repository/repos/testboard/*
ls: cannot access '/p/home/isabelle-repository/repos/testboard/*': No such file or directory
Larry
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