-
Andrei Paskevich authored
This reverts commit da67461f. Let us keep the {..} notation for snapshots and shadowed logical symbols, but go back to transparent access to logical symbols, at least for now.
3f77244e
This reverts commit da67461f. Let us keep the {..} notation for snapshots and shadowed logical symbols, but go back to transparent access to logical symbols, at least for now.