HomeIsabelle/Phabricator

clarified signature: ensure that entries are well-formed --- no consecutive…

Description

clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5944f9e70d98: clarified signature: only support nameless separator;
Branches
Unknown
Tags
Unknown