#35 Árbol de derivaciones

[Sebastián Lacuesta]

Se dispone de una vista en la que se muestra de forma gráfica la derivación lógica correspondiente a la prueba que está actualmente en ejecución en forma de árbol.
Una segunda vista permitirá además ver el histórico de derivaciones de una prueba de forma tal de poder retomar una prueba desde un punto cualquiera de la derivación (Undo y Redo de pruebas) sin necesidad de realizarlo a mano.
Dos requerimientos adicionales son:
Seleccionar con el mouse un objetivo de prueba diferente del que está activo y pasar directamente a la demostración del segundo (se utiliza la táctica focus)
Poder realizar drag&drop de una parte de una demostración para demostrar otra rama en caso de que los objetivos de prueba sean iguales. Junto con eso, se podría detectar automáticamente cuando el objetivo de prueba ya fue probado antes y que utilice la demostración original para ello.