tirix / mm-web-ui

A user interface for the Metamath web pages
MIT License
4 stars 0 forks source link

Add 4th and 5th highlight shades for second levels dependencies #9

Open tirix opened 6 years ago

tirix commented 6 years ago

As suggested by Norm in his google group post:

add 4th and 5th highlight shades to indicate all steps that the current step depends on indirectly as well as all steps affected by the current step. Or instead, perhaps use the current shades to indicate indirect dependence instead of just direct dependence? I think indirect dependence is important for knowing that the current step didn't just pop out of the blue (esp. when its hypotheses are collapsed) but is a consequence of specific previous steps.