[isabelle-dev] Repository Trouble

Lawrence Paulson lp15 at cam.ac.uk
Wed Jan 2 23:02:09 CET 2013

I have been using


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

Can I continue to do that?


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.

More information about the isabelle-dev mailing list