From c5523944abdcbd48345f214abf9fb19489d4c0cc Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Fri, 30 Oct 2020 10:54:18 -0700 Subject: [PATCH] Fix reference to unthm, which are actually named mconj --- scribblings/utils.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 92072a5..52beb3f 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -187,7 +187,7 @@ label (not a scribble one!), provide an argument to @racket[#:tag].} @defproc[(mnotation [title content?] [#:tag tag (or/c content? #f)] [items content?] ...) content?] -@defproc[(unthm [title content?] +@defproc[(mconj [title content?] [#:tag tag (or/c content? #f)] [items content?] ...) content?])]{ @@ -223,13 +223,13 @@ to add more paragraphs than it needs.} @defproc[(parprop [title content?] [#:tag tag (or/c content? #f)] [items content?] ...) content?] -@defproc[(parunthm [title content?] +@defproc[(parmconj [title content?] [#:tag tag (or/c content? #f)] [items content?] ...) content?] @defproc[(parprf [#:tag tag (or/c content? #f)] [items content?] ...) content?])]{ -Like @racket[parthm], only for @racket[mlem], @racket[mprop], @racket[unthm] +Like @racket[parthm], only for @racket[mlem], @racket[mprop], @racket[mconj] and @racket[ntprf] respectively.} @section{@tt{listings} utilities}