HomeIsabelle/Phabricator

clarified errors: avoid accidental import from other session that happens to be…

Authored by makarius.

Description

clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");

Details

Committed
makariusFri, Jul 24, 12:15 PM
Parents
rISABELLEba5b37671528: clarified signature;
Branches
Unknown
Tags
Unknown