Diffusion Isabelle b0ddfa5b9ddc

some hints on managed installations
b0ddfa5b9ddc
Actions

Tags

None

Subscribers

None

Description

some hints on managed installations

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEd052d61da398: prefer cartouches over quotes for clarity of resulting document

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEb0ddfa5b9ddc: some hints on managed installations.Sep 13 2023, 7:08 PM

Changes (2)

Path

Size

src/

Doc/

Codegen/

System/

rISABELLEb0ddfa5b9ddc

src/Doc/Codegen/Further.thy

Loading...

src/Doc/System/Misc.thy

Loading...