O editor de axiomas não valida axiomas #108
Description
O editor de axiomas não está acessando o servidor TomCat para validar os axiomas, tal que fica em loop infinito tentando acessar o servidor que faz a verificação de axiomas.
Orientações do Eduardo:
método "valid" que valida axiomas. NA verdade, com a nova estrutura do Guilherme o método foi desligado momentaneamente mas já entrei lá o reativei. De forma emergencial ele retorna sempre true para termos tempo de coloca lo em uma classe organizada, etc...