]>
2009-04-16 | Enrico Tassi | Universe is used only locally to tactics/ | blob | commitdiff | raw |
2009-04-14 | Ferruccio Guidi | - Procedural: generation of "exact" is now complete | blob | commitdiff | raw | diff to current |
2009-04-09 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2009-03-30 | Enrico Tassi | tentative subst-sexpand and change | blob | commitdiff | raw | diff to current |
2009-03-25 | Enrico Tassi | new tactics are almost ready | blob | commitdiff | raw | diff to current |
2008-09-05 | Ferruccio Guidi | transcript: we now check for non-existing objects | blob | commitdiff | raw | diff to current |
2008-09-04 | Ferruccio Guidi | transcript: improved debuugging facilities | blob | commitdiff | raw | diff to current |
2006-11-29 | Ferruccio Guidi | - decompose tactic: decomposable constants are now... | blob | commitdiff | raw | diff to current |