Page MenuHomeIsabelle/Phabricator

Project History
ActivePublic

Details

Looks Like
isabelle-release
Hashtags
#isabelle-release
Description

Support for the Isabelle release process, see also the blog.

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

Isabelle releases are time-based: every 8-10 months the repository state is consolidated into a stable version that can serve end-users for a few years. That process typically takes 4-8 weeks, with 3-5 public release candidates. After a release is finalized, there are no further updates nor "patches'' to it.

When the release train is about to depart, only finished and consolidated features will make it on the trip. Anything that is not properly working will be postponed to a future release (deactivated or just not announced).

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)
makarius set this project's image to F1849: profile.Dec 16 2019, 10:25 PM
makarius updated this project's image from F1849: profile to F1850: fa-briefcase-blue.png.
makarius removed this project's image.
makarius edited Description. (Show Details)
makarius edited Description. (Show Details)