[isabelle-dev] Repository Trouble
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