HomeIsabelle/Phabricator

clarified GUI state;

Description

clarified GUI state;
added "Load" button;

Details

Provenance
makariusAuthored on
Parents
rISABELLEdeded566d423: clarified file names;
Branches
Unknown
Tags
Unknown