Browse files

added a note about the web page to the end of the paper

  • Loading branch information...
1 parent ed1640e commit b48c723234471b63b678e81bf0009b7fc79500ba @rfindler rfindler committed Sep 19, 2011
Showing with 11 additions and 0 deletions.
  1. +11 −0 paper/main.scrbl
@@ -51,6 +51,17 @@ understanding of evaluation context semantics.
Thanks also to Matthias Felleisen and Matthew Flatt for
helpful discussions of the work.
+@section[#:tag "sec:url" #:style (style #f '(hidden unnumbered))]{}
+@(element (style "paragraph" '()) '(""))
+A version of this paper can be found online at:
+That web page contains
+@(if extended-version?
+ @list{a version of the paper with a complete proof of the theorem}
+ @list{the final version of the paper as it appears in the proceedings})
+and the Redex models for all of the figures in this paper.
@section[#:tag "sec:pre-appendix" #:style (style #f '(hidden unnumbered))]{}

0 comments on commit b48c723

Please sign in to comment.