The Isabelle2020 release is scheduled for Apr-2020 (presumably the week of 15-Apr-2020).
The release process is documented in the continuously updated blog entry Release Candidates for Isabelle2020: it includes downloads and other notes.
The Isabelle2020 release is scheduled for Apr-2020 (presumably the week of 15-Apr-2020).
The release process is documented in the continuously updated blog entry Release Candidates for Isabelle2020: it includes downloads and other notes.