<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 11/16/21 10:08, Gerwin Klein wrote:<br>
</div>
<blockquote type="cite"
cite="mid:D4EAED45-0A51-47A9-8830-D06204ECCE33@unsw.edu.au">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 16 Nov 2021, at 7:41 pm, Gerwin Klein <<a
href="mailto:kleing@unsw.edu.au"
class="moz-txt-link-freetext" moz-do-not-send="true">kleing@unsw.edu.au</a>>
wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div style="caret-color: rgb(0, 0, 0); font-family:
Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
text-decoration: none;" class="">
<br class="Apple-interchange-newline">
<br class="">
<blockquote type="cite" class="">
<div class="">On 16 Nov 2021, at 7:37 pm, Fabian Huch
<<a href="mailto:huch@in.tum.de"
class="moz-txt-link-freetext" moz-do-not-send="true">huch@in.tum.de</a>>
wrote:</div>
<br class="Apple-interchange-newline">
<div class=""><br class="" style="caret-color: rgb(0, 0,
0); font-family: Menlo-Regular; font-size: 11px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none;">
<span class="" style="caret-color: rgb(0, 0, 0);
font-family: Menlo-Regular; font-size: 11px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none; float: none; display: inline !important;">On
11/16/21 09:16, Gerwin Klein wrote:</span><br
class="" style="caret-color: rgb(0, 0, 0);
font-family: Menlo-Regular; font-size: 11px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none;">
<blockquote type="cite" class="" style="font-family:
Menlo-Regular; font-size: 11px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space:
normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none;">
You were too fast :-), afp-devel is is for
isabelle-devel, it shouldn't have isabelle-release
changes in it.<br class="">
<br class="">
It's unfortunate that isabelle-release has already
diverged in content. Not a real problem, just a bit
more overhead.<br class="">
<br class="">
Ok, so I'll make an afp-2021-1 fork now, and it
would be good if somebody could set up Jenkins to
test this branch against isabelle-release. Lars used
to do that -- I'm not sure who has taken over
Jenkins.<br class="">
</blockquote>
<br class="" style="caret-color: rgb(0, 0, 0);
font-family: Menlo-Regular; font-size: 11px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none;">
<span class="" style="caret-color: rgb(0, 0, 0);
font-family: Menlo-Regular; font-size: 11px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none; float: none; display: inline !important;">I'm
responsible for that now and will set that up.</span><br
class="" style="caret-color: rgb(0, 0, 0);
font-family: Menlo-Regular; font-size: 11px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration:
none;">
</div>
</blockquote>
</div>
<br class="" style="caret-color: rgb(0, 0, 0); font-family:
Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
text-decoration: none;">
<div class="" style="caret-color: rgb(0, 0, 0); font-family:
Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
text-decoration: none;">
Perfect, thanks. The push is still running, turns out the
afp has grown quite a bit. Will let you know when it’s
there.</div>
</div>
</blockquote>
<br class="">
</div>
<div><a href="ssh://hg@foss.heptapod.net/isa-afp/afp-2021-1"
class="moz-txt-link-freetext" moz-do-not-send="true">ssh://hg@foss.heptapod.net/isa-afp/afp-2021-1</a>
is now available.</div>
</blockquote>
Appropriate build job is also online:
<a class="moz-txt-link-freetext" href="https://ci.isabelle.systems/jenkins/job/isabelle-2021-1/">https://ci.isabelle.systems/jenkins/job/isabelle-2021-1/</a><br>
<p><br>
</p>
<p>Fabian<br>
</p>
</body>
</html>