Change History for Defaulting

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