> I will produce Isabelle2018-RC1 later today, maybe in approx. 3h.
> 
> For that I also need a version of AFP that works.

According to <https://devel.isa-afp.org/status.html>, the latest
known-good version (except for the "slow" sessions) is

Isabelle/1b9462304e1d
AFP/2af750da996c
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to