HomePhabricator

clarified session_graph_display: restrict sessions to actually required…

Authored by makarius.

Description

clarified session_graph_display: restrict sessions to actually required theories;

Details

Committed
makariusOct 25 2019, 7:00 PM
Parents
rISABELLE849311b45428: compile
Branches
Unknown
Tags
Unknown