Page MenuHomePhabricator

Project History
ActivePublic

Details

Looks Like
isabelle-release
Hashtags
#isabelle-release
Description

Support for the Isabelle release process.

Main repository fork (read-only): https://isabelle.sketis.net/repos/isabelle-release

The next anticipated release is Isabelle2020 (June 2020). The hot phase with release candidates will presumably be Apr/May/Jun-2020. Everything needs to be finished and published before IJCAR 2020 in Paris.

Event Timeline

makarius created this project.Sep 25 2019, 2:24 PM
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Administrators".
makarius created this object with join policy "No One".
makarius added a member: makarius.
makarius edited Description. (Show Details)
makarius edited Description. (Show Details)
makarius edited Description. (Show Details)