Open damien-pous opened 3 years ago
this is a feature suggest:
would it be possible to highlight the ancestry tree associated to given formula occurrence? (e.g., on mouse-over on formulas)
This could be linked to the idea of following exchanges (see #11).
this is a feature suggest:
would it be possible to highlight the ancestry tree associated to given formula occurrence? (e.g., on mouse-over on formulas)