[isabelle-dev] Repository Trouble

Alexander Krauss krauss at in.tum.de
Wed Dec 19 23:34:18 CET 2012

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.


More information about the isabelle-dev mailing list