> I couldn't update ~isatest/hg-isabelle manually, because some files > in ~isatest/hg-isabelle/.hg/store belong to user krauss and isatest > doesn't seem to have enough permissions. Alex, could you please fix > these? Oops... Restored permissions and updated. Alex