Change History for Defaulting

Version Date Author Comment
10 10 years Ian Lynagh Proposal to remove defaulting
9 11 years malcolm.wallace@… note Simon Marlow's counter example
8 11 years malcolm.wallace@… note about confluence in the MPTC case
7 11 years malcolm.wallace@… add comments about MPTC, cancelling defaults, etc
6 11 years malcolm.wallace@… add some examples, tidy up the intro motivation
5 11 years malcolm.wallace@… Add two new proposals for defaulting
4 12 years john@…
3 12 years malcolm.wallace@…
2 12 years john@…
1 12 years ross@…