Since the Isabelle2016-1 release is approaching, we will be preparing the new 
afp-2016-1 release branch as well.

If there are any urgent changes or updates to afp-devel that still need to go 
into afp-2016-1, please let me know. I am planning to fork off the branch in 
two days. Changes after that will not make it into the release.


isabelle-dev mailing list

Reply via email to