]>
2007-01-10 | Ferruccio Guidi | attributes now in the proof status: commit 4 | blob | commitdiff | raw |
2006-12-29 | Ferruccio Guidi | - tactics: | blob | commitdiff | raw | diff to current |
2006-12-13 | Ferruccio Guidi | - transcript: patched to generate aliases instead of... | blob | commitdiff | raw | diff to current |
2006-12-12 | Ferruccio Guidi | we parametrized CicNotationPt.obj on 'term | blob | commitdiff | raw | diff to current |
2006-12-12 | Ferruccio Guidi | we started the infrastructure for the procedural render... | blob | commitdiff | raw | diff to current |
2006-07-10 | Enrico Tassi | improved coercions support: | blob | commitdiff | raw | diff to current |