HomeIsabelle/Phabricator

clarified signature;

Authored by makarius.

Description

clarified signature;
more operations;

Details

Committed
makariusNov 13 2019, 1:28 PM
Parents
rISABELLEc6ad69448d6d: removed obsolete material -- already covered by "system" manual;
Branches
Unknown
Tags
Unknown