• MARCHE Claude's avatar
    reload_files now returns a pair of booleans giving info · 9fcc1a85
    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
session_itp.ml 63.5 KB