HomeIsabelle/Phabricator

clarified message --- as in former ML version (see 940195fbb282);

Authored by makarius.

Description

clarified message --- as in former ML version (see 940195fbb282);

Details

Committed
makariusSat, Jul 11, 6:19 PM
Parents
rISABELLE664e90313a54: clarified signature;
Branches
Unknown
Tags
Unknown