]>
2009-06-05 | Ferruccio Guidi | - Procedural convertible rewrites in the conclusion... | blob | commitdiff | raw |
2009-04-15 | Ferruccio Guidi | - transcript: bugfix | blob | commitdiff | raw | diff to current |
2008-06-09 | Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... | blob | commitdiff | raw | diff to current |
2008-06-06 | Claudio Sacerdoti... | Even more Q stuff classified. | blob | commitdiff | raw | diff to current |
2007-10-12 | Andrea Asperti | Reorganization of results. | blob | commitdiff | raw | diff to current |
2006-02-23 | Claudio Sacerdoti... | 64 "change" here and there in the library are now simpl... | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |