Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] testboard directory missing

view this post on Zulip Email Gateway (Jun 03 2021 at 09:57):

From: Lawrence Paulson <>
Now it is about testboard:

src/HOL: hg push_tb

pushing to ssh://
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


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC