]>
2010-04-13 | Enrico Tassi | fixed makefile | blob | commitdiff | raw |
2010-04-13 | Enrico Tassi | some fixes to THF parser | blob | commitdiff | raw | diff to current |
2010-04-08 | Enrico Tassi | fixed compiltion order of lexer/parser | blob | commitdiff | raw | diff to current |
2010-04-07 | Enrico Tassi | THF parser for TPTP | blob | commitdiff | raw | diff to current |
2009-06-12 | Enrico Tassi | -ng implemented | blob | commitdiff | raw | diff to current |
2007-04-17 | Enrico Tassi | added generation of hne and heq problems | blob | commitdiff | raw | diff to current |
2006-07-22 | Enrico Tassi | matitaprover | blob | commitdiff | raw | diff to current |