]>
2015-10-21 | Ferruccio Guidi | theory of multiple relocation completed | blob | commitdiff | raw |
2015-03-25 | Ferruccio Guidi | - revision of ground_2 and basic_2 | blob | commitdiff | raw |
2014-10-27 | Ferruccio Guidi | - the trace is explicit in all auto tactics with depth > 1 | blob | commitdiff | raw | diff to current |
2014-09-15 | Ferruccio Guidi | notational change of lift, drop, and gget | blob | commitdiff | raw | diff to current |
2014-08-06 | Ferruccio Guidi | - some renaming and minor updates | blob | commitdiff | raw | diff to current |
2014-07-14 | Ferruccio Guidi | some renaming and some typos corrected ... | blob | commitdiff | raw | diff to current |
2014-06-01 | Ferruccio Guidi | - some refactoring and minor additions | blob | commitdiff | raw | diff to current |