]>
2009-09-15 | Ferruccio Guidi | some renaming. final commit for version 0.8.0 | blob | commitdiff | raw |
2009-09-10 | Ferruccio Guidi | some interfaces improved | 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-11-11 | Ferruccio Guidi | - we now use a streaming architecture (run time gain... | blob | commitdiff | raw | diff to current |
2008-06-23 | Ferruccio Guidi | metaAut.xlate_item started | blob | commitdiff | raw | diff to current |