[isabelle-dev] Repository Trouble

[Lawrence Paulson]

I have been using

	hgbroy.informatik.tu-muenchen.de

under the assumption that the name hgbroy could be expected to refer to a suitable machine.

Can I continue to do that?

Larry

On 1 Jan 2013, at 21:52, Makarius <makarius at sketis.net> wrote:

> Thanks again for picking up the bright weapons of empirical science from the storeroom.  We are indeed safe on lxbroy10, but the mythical monsters are still roaming on macbroy20, 21 etc.