Diffusion Isabelle bd2269b6cd99

updated "macOS" terminology: current Big Sur is already version 11;
bd2269b6cd99
Actions

Tags

None

Subscribers

None

Description

updated "macOS" terminology: current Big Sur is already version 11;

Details

Provenance

Authored on

Parents

rISABELLEfbdadf5760c2: updated test machines;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbd2269b6cd99: updated "macOS" terminology: current Big Sur is already version 11;.Dec 13 2020, 1:29 PM

Changes (8)

Path

Size

Admin/

MacOS/

Release/

lib/

scripts/

src/

Doc/

JEdit/

Pure/

Admin/

build_jdk.scala

isabelle_cronjob.scala

rISABELLEbd2269b6cd99

Admin/MacOS/README

Loading...

Admin/PLATFORMS

Loading...

Admin/Release/CHECKLIST

Loading...

lib/scripts/getfunctions

Loading...

lib/scripts/getsettings

Loading...

src/Doc/JEdit/JEdit.thy

Loading...

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...