]>
2010-06-29 | Enrico Tassi | notation made half decent | blob | commitdiff | raw |
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | blob | commitdiff | raw | diff to current |
2009-01-15 | Enrico Tassi | the new coercion behaviour (variants + composition... | blob | commitdiff | raw | diff to current |
2009-01-03 | Claudio Sacerdoti... | Basic pairs went through with no problems. | blob | commitdiff | raw | diff to current |
2008-12-28 | Claudio Sacerdoti... | WARNING: partial commit to try to understand something. | blob | commitdiff | raw | diff to current |
2008-12-22 | Claudio Sacerdoti... | Just copied here from formal_topologies.ma. | blob | commitdiff | raw | diff to current |