Diffusion isabelle-website a34d4206d9a9

clarified treatment of security settings;
a34d4206d9a9
Actions

Authored by makarius.

Tags

None

Subscribers

None

Description

clarified treatment of security settings;

Details

Committed

Dec 1 2019, 9:23 PM

Pushed

Dec 1 2019, 9:29 PM

Parents

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

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rWEBSITEa34d4206d9a9: clarified treatment of security settings;.Dec 1 2019, 9:23 PM

makarius mentioned this in T6: Proper app support for macOS 10.15 Catalina.Dec 1 2019, 9:34 PM

Changes (3)

				Path	Packages
	A		(dir)	img/
	A			img/macos_security.png
	M			installation.html

rWEBSITEa34d4206d9a9

img/macos_security.png

Loading...

installation.html

Loading...