<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

<a href="https://bitbucket.org/isa-afp/afp-2017" class="">https://bitbucket.org/isa-afp/afp-2017</a> now exists and further commits to afp-devel will not automatically appear there any more.

<div class="">

<div class=""><br class="">

<div class="">

<div class="">Cheers,</div>

<div class="">Gerwin</div>

</div>

<br class="">

<div>

<blockquote type="cite" class="">

<div class="">On 29.09.2017, at 09:16, <a href="mailto:gerwin.klein@data61.csiro.au" class="">

gerwin.klein@data61.csiro.au</a> wrote:</div>

<br class="Apple-interchange-newline">

<div class="">

<div class="">Imminent. I was waiting for the statistics part to be updated to the new qualified imports, but I think we’ll just handle that one separately.<br class="">

<br class="">

Cheers,<br class="">

Gerwin<br class="">

<br class="">

<blockquote type="cite" class="">On 28.09.2017, at 23:52, Makarius <<a href="mailto:makarius@sketis.net" class="">makarius@sketis.net</a>> wrote:<br class="">

<br class="">

What is the status of the afp-devel repository?<br class="">

<br class="">

Isabelle2017-RC3 is fairly stable and deserves a proper afp-2017<br class="">

repository fork.<br class="">

<br class="">

Having a clear correspondence of isabelle-dev vs. afp-devel and<br class="">

Isabelle2017 vs. afp-2017 also means that changes to the devel branches<br class="">

can be again more ambitious.<br class="">

<br class="">

<br class="">

<span class="Apple-tab-span" style="white-space:pre"></span>Makarius<br class="">

_______________________________________________<br class="">

isabelle-dev mailing list<br class="">

<a href="mailto:isabelle-dev@in.tum.de" class="">isabelle-dev@in.tum.de</a><br class="">

https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br class="">

</blockquote>

<br class="">

_______________________________________________<br class="">

isabelle-dev mailing list<br class="">

<a href="mailto:isabelle-dev@in.tum.de" class="">isabelle-dev@in.tum.de</a><br class="">

https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br class="">

</div>

</div>

</blockquote>

</div>

<br class="">

</div>

</div>

</body>

</html>