Diffusion Isabelle 8f485a199874

simplified release status (again), in contrast to a43898f76ae9;
8f485a199874
Actions

Tags

None

Subscribers

None

Description

simplified release status (again), in contrast to a43898f76ae9;

Details

Provenance

Authored on

Parents

rISABELLEc42144d9dde6: more uniform HTTP resources;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8f485a199874: simplified release status (again), in contrast to a43898f76ae9;.Mar 31 2021, 5:15 PM

Changes (5)

Path

Size

Admin/

Release/

src/

Pure/

Admin/

build_release.scala

System/

distribution.ML

distribution.scala

Tools/

jEdit/

src/

rISABELLE8f485a199874

Admin/Release/CHECKLIST

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/System/distribution.ML

Loading...

src/Pure/System/distribution.scala

Loading...

src/Tools/jEdit/src/plugin.scala

Loading...