HomeIsabelle/Phabricator

support multiple sessions, with cumulative errors;

Description

support multiple sessions, with cumulative errors;
tuned command usage;

Details

Provenance
makariusAuthored on
Parents
rISABELLEc8f5fec36b5c: support regex patterns on messages;
Branches
Unknown
Tags
Unknown