Diffusion Isabelle 7e19dc018db9

added "isabelle components" tool;
7e19dc018db9
Actions

Tags

None

Subscribers

None

Description

added "isabelle components" tool;

Details

Provenance

Authored on

Parents

rISABELLEf49745d1395a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEf60dd8d76515: more accurate options (amending 7e19dc018db9);.Jan 23 2023, 11:36 PM

Changes (4)

Path

Size

etc/

rISABELLE7e19dc018db9

etc/settings

Loading...

lib/Tools/components

Loading...