]>
2012-02-24 | Ferruccio Guidi | - we added a web page (Apps_2) for the checked applicat... | blob | commitdiff | raw |
2012-02-09 | Ferruccio Guidi | - design table for Basic_2 | blob | commitdiff | raw | diff to current |
2012-02-02 | Ferruccio Guidi | - one file and three lemmas added to Basic 2 | blob | commitdiff | raw | diff to current |
2012-02-01 | Ferruccio Guidi | we added summary and timeline to the Basic_2 page | blob | commitdiff | raw | diff to current |
2011-10-03 | Ferruccio Guidi | - first version of xhtbl | blob | commitdiff | raw | diff to current |