Change History for Defaulting

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