Logicapp beta 2.1 ha llegado. Se han mejorado algunas cosas:
·Ahora se puede mover el scroll lateral con el ratón
·Presionando el botón ENTER del teclado se desarrolla el tableaux como si se pulsase el ratón
·Añadida una ventanita de About... Para acceder a ella basta con clickear en un espacio libre con el botón derecho del ratón.
Bugs corregidos:
·p --> q se desarrollaba como p v q cuando debería de ser ¬p v q
Estamos mejorando:
·Sistema con el que se pinta el tableaux. Queremos que sea más fluido y estable, además de acabar de implementar algunas cosillas que nos permitirán hacer otras mucho mayores y mejores. ¡Estad atentos!
Bisha dev team
PD: Muchísimas gracias a todos los que están enviando los fallos de la aplicación, ayudan muchísimo.