On 16 Nov 2021, at 7:41 pm, Gerwin Klein <[email protected]<mailto:[email protected]>> wrote:
On 16 Nov 2021, at 7:37 pm, Fabian Huch <[email protected]<mailto:[email protected]>> wrote: On 11/16/21 09:16, Gerwin Klein wrote: You were too fast :-), afp-devel is is for isabelle-devel, it shouldn't have isabelle-release changes in it. It's unfortunate that isabelle-release has already diverged in content. Not a real problem, just a bit more overhead. 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. I'm responsible for that now and will set that up. Perfect, thanks. The push is still running, turns out the afp has grown quite a bit. Will let you know when it’s there. ssh://[email protected]/isa-afp/afp-2021-1 is now available. Cheers, Gerwin
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
