[isabelle-dev] Repository Trouble

[Alexander Krauss]

On 12/11/2012 10:56 AM, Johannes Hölzl wrote:
> Am Montag, den 10.12.2012, 15:27 +0100 schrieb Makarius:
>> On Tue, 27 Nov 2012, Johannes Hölzl wrote:
>>
>>> We had again a problem with the repository. We fixed it by using again

We're there again. The main repos is broken. Will try to fix and report 
back here.

Alex