]>
2008-09-04 | Ferruccio Guidi | transcript: improved debuugging facilities | blob | commitdiff | raw |
2008-09-04 | Ferruccio Guidi | transcript: we improved the parser/lexer to read the... | blob | commitdiff | raw | diff to current |
2006-11-29 | Ferruccio Guidi | - decompose tactic: decomposable constants are now... | blob | commitdiff | raw | diff to current |
2006-11-15 | Ferruccio Guidi | transcript updated | blob | commitdiff | raw | diff to current |
2006-11-15 | Ferruccio Guidi | transcript: very alpha version. | blob | commitdiff | raw | diff to current |