]>
2006-11-16 | Ferruccio Guidi | - transcript: patched to generate CoRN_notation.ma... | blob | commitdiff | raw |
2006-11-16 | Ferruccio Guidi | - transcript: now outputs includes and coercions correctly | 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 |