Closed seachel closed 5 years ago
Nodes that have been previously visited during a proof walk-through should be styled differently than those currently focused and those to be focused later.
Done. Previously visited nodes are dark.
Nodes that have been previously visited during a proof walk-through should be styled differently than those currently focused and those to be focused later.