HomeIsabelle/Phabricator

clarified signature: prefer Export.Session_Context over Sessions.

Description

clarified signature: prefer Export.Session_Context over Sessions.Database_Context;
discontinued obsolete operations;

Details

Provenance
makariusAuthored on
Parents
rISABELLE0e5339342998: clarified signature: prefer Export.Context;
Branches
Unknown
Tags
Unknown