HomeIsabelle/Phabricator

clarified GUI.Selector, with support for separator as pseudo-entry;

Description

clarified GUI.Selector, with support for separator as pseudo-entry;
clarified signature;

Details

Provenance
makariusAuthored on
Parents
rISABELLE2c37c10d6884: clarified GUI state;
Branches
Unknown
Tags
Unknown