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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
