]>
2010-09-12 | Enrico Tassi | Change (or better define) the order of hints premises. | blob | commitdiff | raw |
2010-09-12 | Enrico Tassi | non uniform coercions landed in hints_declaration.ma... | blob | commitdiff | raw | diff to current |
2010-07-22 | Enrico Tassi | fixed precedence so that no () are needed around variab... | blob | commitdiff | raw | diff to current |
2009-10-06 | Enrico Tassi | some fixes | blob | commitdiff | raw | diff to current |
2009-09-10 | Enrico Tassi | nice hints | blob | commitdiff | raw | diff to current |
2009-09-10 | Enrico Tassi | nice notation for hints! | blob | commitdiff | raw | diff to current |
2009-09-10 | Enrico Tassi | more stuff fixed | blob | commitdiff | raw | diff to current |
2009-09-08 | Enrico Tassi | snapshot for CSC | blob | commitdiff | raw | diff to current |