]>
2013-03-17 | Ferruccio Guidi | notational change for lsubr: | blob | commitdiff | raw |
2013-03-17 | Ferruccio Guidi | lsubs renamed as lsubr | blob | commitdiff | raw | diff to current |
2013-03-10 | Ferruccio Guidi | - improved Makefile esp. with the "trim" function | blob | commitdiff | raw | diff to current |
2013-02-06 | Ferruccio Guidi | - lambdadelta: more service lemmas ... | blob | commitdiff | raw | diff to current |
2012-12-30 | Ferruccio Guidi | commit completed! some bugs fixed and some instances... | blob | commitdiff | raw | diff to current |
2012-12-25 | Ferruccio Guidi | - lambda_delta: programmed renaming to lambdadelta | blob | commitdiff | raw | diff to current |