Change History for Defaulting

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