]>
2018-05-07 | Ferruccio Guidi | update in apps_2 | blob | commitdiff | raw |
2018-04-20 | Ferruccio Guidi | notational update in ground_2 and basic_2 | blob | commitdiff | raw | diff to current |
2018-04-16 | Ferruccio Guidi | anniversary push | blob | commitdiff | raw | diff to current |
2017-10-10 | Ferruccio Guidi | - web site update | blob | commitdiff | raw | diff to current |
2016-09-05 | Ferruccio Guidi | one more paper citing \lambda\delta | blob | commitdiff | raw | diff to current |
2016-07-22 | Ferruccio Guidi | site update | blob | commitdiff | raw | diff to current |