Diffusion isabelle-website b00c19ebb237

note on macOS 10.15 Catalina (which is formally not supported yet);
b00c19ebb237
Actions

Tags

None

Subscribers

None

Description

note on macOS 10.15 Catalina (which is formally not supported yet);

Details

Provenance

makarius	Authored on
makarius	Pushed on Nov 29 2019, 10:44 PM

Parents

rWEBSITEcf6ad8d084e5: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rWEBSITEb00c19ebb237: note on macOS 10.15 Catalina (which is formally not supported yet);.Nov 29 2019, 10:44 PM

makarius mentioned this in T6: Proper app support for macOS 10.15 Catalina.Nov 29 2019, 10:52 PM

Changes (1)

Path

Size

installation.html

rWEBSITEb00c19ebb237

installation.html

Loading...