]>
2011-09-11 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw |
2010-11-03 | Ferruccio Guidi | last commit for helena 0.8.1 | blob | commitdiff | raw |
2009-09-17 | Ferruccio Guidi | we start version 0.8.1 by replacing the abstract layer... | blob | commitdiff | raw | diff to current |
2009-08-07 | Ferruccio Guidi | basic_rg: improved interface, unwind removed from appli... | blob | commitdiff | raw | diff to current |
2009-07-03 | Ferruccio Guidi | some corrections | blob | commitdiff | raw | diff to current |
2009-07-03 | Ferruccio Guidi | we now do some static analysis on the Automath text... | blob | commitdiff | raw | diff to current |
2008-06-13 | Ferruccio Guidi | Initial version of the Helena Checker | blob | commitdiff | raw | diff to current |