]>
2014-08-06 | Ferruccio Guidi | - some renaming and minor updates | blob | commitdiff | raw |
2014-06-28 | Ferruccio Guidi | - ldrop is now drop as in basic_1 | blob | commitdiff | raw | diff to current |
2012-12-25 | Ferruccio Guidi | - lambda_delta: programmed renaming to lambdadelta | blob | commitdiff | raw | diff to current |