From 6b8490b78b282108609e6798a7489c34306586cb Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 23 Nov 2015 12:22:31 -0700
Subject: [PATCH] scribble/sigplan: add `to-appear`

---
 scribble-doc/scribblings/scribble/sigplan.scrbl |  7 +++++++
 scribble-lib/info.rkt                           |  2 +-
 scribble-lib/scribble/sigplan.rkt               | 10 ++++++++++
 3 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/scribble-doc/scribblings/scribble/sigplan.scrbl b/scribble-doc/scribblings/scribble/sigplan.scrbl
index cfc9e592..9ee87183 100644
--- a/scribble-doc/scribblings/scribble/sigplan.scrbl
+++ b/scribble-doc/scribblings/scribble/sigplan.scrbl
@@ -110,6 +110,13 @@ e-mail address with the author name.}
 Declares information that is collected into the copyright region of the paper.}
 
 
+@defproc[(to-appear [content pre-content?] ...) block?]{
+
+Declares alternate content for the copyright region of the paper.
+
+@history[#:added "1.13"]}
+
+
 @deftogether[(
 @defproc[(category [CR-number pre-content?] 
                    [subcategory pre-content?]
diff --git a/scribble-lib/info.rkt b/scribble-lib/info.rkt
index e5c28ab9..c2a8adfb 100644
--- a/scribble-lib/info.rkt
+++ b/scribble-lib/info.rkt
@@ -23,4 +23,4 @@
 
 (define pkg-authors '(mflatt eli))
 
-(define version "1.12")
+(define version "1.13")
diff --git a/scribble-lib/scribble/sigplan.rkt b/scribble-lib/scribble/sigplan.rkt
index 3ec7771b..ca818882 100644
--- a/scribble-lib/scribble/sigplan.rkt
+++ b/scribble-lib/scribble/sigplan.rkt
@@ -33,6 +33,9 @@
  [doi
   (->* () () #:rest (listof pre-content?)
        block?)]
+ [to-appear
+  (->* () () #:rest pre-content?
+       block?)]
  [category
   (->* (pre-content? pre-content? pre-content?)
        ((or/c false/c pre-content?))
@@ -146,6 +149,13 @@
     (make-style "SPexclusivelicense" sigplan-extras)
     (decode-content what))))
 
+(define (to-appear . what)
+  (make-paragraph
+   (make-style 'pretitle null)
+   (make-element
+    (make-style "toappear" sigplan-extras)
+    (decode-content what))))
+
 ;; ----------------------------------------
 ;; Categories, terms, and keywords: