HomeIsabelle/Phabricator

more documentation: odd option for special situations;

Description

more documentation: odd option for special situations;

Details

Provenance
makariusAuthored on
Parents
rISABELLE21995f5e8126: tuned;
Branches
Unknown
Tags
Unknown