-
MARCHE Claude authored
it returns (o,d), o true means there are obsolete goals, d means there are missed objects (goals, transformations, theories or files) that are now detached in the session Note: there are several bugs remaining to solve, such that the fact that missed transformations or lost instead of detached.
9fcc1a85