Nova versão do KEMS

Para quem quiser ver provas no sistema de tablôs KE, uma versão do KEMS com uma pequena correção acaba de ser lançada. A única modificação desta versão é a uma modificação feita devido a um bug do AspectJ que estava atrapalhando a execução do sistema). A nova versão (KEMS 0.95) está disponível em: http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS Para executar o KEMS, basta unzipar o arquivo baixado e, no diretório criado, clicar duas vezes em kems.jar (para os que tiverem o java instalado, isso vai iniciar o sistema --- quem não tiver o java instalado, baixe a versão 1.5 ou superior do J2SE JRE em http://java.sun.com e instale-o antes de tentar executar o KEMS). Maiores informações sobre o sistema KE e o KEMS podem ser encontradas em http://www.dainf.ct.utfpr.edu.br/~adolfo/Thesis/ ou em http://kems.iv.fapesp.br (se o site da incubadora da FAPESP voltar a funcionar normalmente---está muito lento ultimamente).