Diffusion Isabelle 36e33d227bf0

misc updates, tuning and clarification;
36e33d227bf0
Actions

Tags

None

Subscribers

None

Description

misc updates, tuning and clarification;

Details

Provenance

Authored on

Parents

rISABELLE3b64d268e5b0: reformat source in jEdit (wrap margin 78);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE36e33d227bf0: misc updates, tuning and clarification;.Mar 25 2024, 7:56 PM

Changes (1)

Path

Size

Admin/

components/

rISABELLE36e33d227bf0

Admin/components/README.md

Loading...