Rifattorizzazione (isSimilarTo)
Omogeneità nello stile di definizione dei teoremi (ora tutto lambda).
Metodo di default densità nell'interfaccia Container.
Traduzione del.
refuso
Traduzione dei problemi txt
Form fxml
help html
Revert "Form fxml"

This reverts commit 6e75b4d3404511e394b55d43c5770b4b7a0be7c7.
Revert "help html"

This reverts commit 25c411b8d00770ab58b759e43cddf3a2fcfb6aac.
Traduzione help
Traduzione
Introduzione ruolo.
Nuove etichette per i segmenti
Adeguamento test.