New Justifications for a Node

Adding a justification for a node, allows marking IN new nodes, and a labelling process has to take place.

Analogously when a justification is removed.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica