Timeline
12/09/06:
11/24/06:
11/21/06:
- 05:14 Defaulting edited by
- note about confluence in the MPTC case (diff)
- 03:25 Defaulting edited by
- add comments about MPTC, cancelling defaults, etc (diff)
- 02:49 Defaulting edited by
- add some examples, tidy up the intro motivation (diff)
11/20/06:
- 03:55 Defaulting edited by
- Add two new proposals for defaulting (diff)
Note: See TracTimeline
for information about the timeline view.
