Timeline


and

Nov 24, 2006:

12:24 PM NewPragmas edited by malcolm.wallace@…
(diff)

Nov 21, 2006:

1:14 PM Defaulting edited by malcolm.wallace@…
note about confluence in the MPTC case (diff)
11:25 AM Defaulting edited by malcolm.wallace@…
add comments about MPTC, cancelling defaults, etc (diff)
10:49 AM Defaulting edited by malcolm.wallace@…
add some examples, tidy up the intro motivation (diff)

Nov 20, 2006:

11:55 AM Defaulting edited by malcolm.wallace@…
Add two new proposals for defaulting (diff)

Nov 7, 2006:

12:29 AM NewPragmas edited by john@…
(diff)
Note: See TracTimeline for information about the timeline view.