]>
2012-10-16 | Ferruccio Guidi | - milestone update in basic_2 | tree | commitdiff |
2012-10-15 | Ferruccio Guidi | - xhtbl: we added the construction + to place several... | tree | commitdiff |
2012-09-29 | Ferruccio Guidi | bugfix in Makefiles | tree | commitdiff |
2012-08-24 | Ferruccio Guidi | - Makefile update | tree | commitdiff |
2012-02-24 | Ferruccio Guidi | - we added a web page (Apps_2) for the checked applicat... | tree | commitdiff |
2012-02-09 | Ferruccio Guidi | - design table for Basic_2 | tree | commitdiff |
2012-02-02 | Ferruccio Guidi | - one file and three lemmas added to Basic 2 | tree | commitdiff |
2012-02-01 | Ferruccio Guidi | we added summary and timeline to the Basic_2 page | tree | commitdiff |
2011-10-26 | Ferruccio Guidi | refactoring ... | tree | commitdiff |
2011-10-11 | Ferruccio Guidi | update ... | tree | commitdiff |
2011-10-03 | Ferruccio Guidi | - first version of xhtbl | tree | commitdiff |