]>
2009-06-21 | Wilmer Ricciotti | Added injective compose | blob | commitdiff | raw |
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | blob | commitdiff | raw | diff to current |
2009-04-15 | Ferruccio Guidi | - transcript: bugfix | blob | commitdiff | raw | diff to current |
2008-07-15 | Enrico Tassi | more notation moved to core notation, unification of... | 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 |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |