Diffusion Isabelle 953953504590

update documentation, following 21c1f82e7f5d;
953953504590
Actions

Tags

None

Subscribers

None

Description

update documentation, following 21c1f82e7f5d;

Details

Provenance

Authored on

Parents

rISABELLE0a71b6c903e9: proper classpath for Scala compiler invocation (amending 14e22b525b13);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE953953504590: update documentation, following 21c1f82e7f5d;.Jul 26 2022, 8:35 PM

Changes (1)

Path

Size

src/

Doc/

System/

Presentation.thy

rISABELLE953953504590

src/Doc/System/Presentation.thy

Loading...