From 5437708a903bdc72a1f251675a857a99d8d67a11 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sun, 24 Jun 2012 21:12:00 -0400 Subject: [PATCH] switched documentation style to mine (stage 1) --- collects/scribblings/htdp-langs/advanced.scrbl | 5 ++++- collects/scribblings/htdp-langs/beginner-abbr.scrbl | 5 ++++- collects/scribblings/htdp-langs/beginner.scrbl | 5 ++++- collects/scribblings/htdp-langs/intermediate-lambda.scrbl | 5 ++++- collects/scribblings/htdp-langs/intermediate.scrbl | 7 +++++-- 5 files changed, 21 insertions(+), 6 deletions(-) diff --git a/collects/scribblings/htdp-langs/advanced.scrbl b/collects/scribblings/htdp-langs/advanced.scrbl index 56e6b95315..378263ac90 100644 --- a/collects/scribblings/htdp-langs/advanced.scrbl +++ b/collects/scribblings/htdp-langs/advanced.scrbl @@ -313,4 +313,7 @@ level as they did in the @secref["intermediate-lam"] level. @section[#:tag "advanced-pre-defined"]{Pre-Defined Functions} -@prim-op-defns['(lib "htdp-advanced.rkt" "lang") #'here '()] +@(require (submod lang/htdp-advanced procedures)) +@(render-sections (docs) "htdp-advanced") + +@;prim-op-defns['(lib "htdp-advanced.rkt" "lang") #'here '()] diff --git a/collects/scribblings/htdp-langs/beginner-abbr.scrbl b/collects/scribblings/htdp-langs/beginner-abbr.scrbl index 2d8ada1a58..308552b6fc 100644 --- a/collects/scribblings/htdp-langs/beginner-abbr.scrbl +++ b/collects/scribblings/htdp-langs/beginner-abbr.scrbl @@ -83,4 +83,7 @@ Abbreviations} level as they did in the @secref["beginner"] level. @section[#:tag "beginner-abbr-pre-defined"]{Pre-defined Functions} -@prim-op-defns['(lib "htdp-beginner-abbr.rkt" "lang") #'here '()] +@(require (submod lang/htdp-beginner-abbr procedures)) +@(render-sections (docs) "htdp-beginner-abbr") + +@;prim-op-defns['(lib "htdp-beginner-abbr.rkt" "lang") #'here '()] diff --git a/collects/scribblings/htdp-langs/beginner.scrbl b/collects/scribblings/htdp-langs/beginner.scrbl index 67c71d1e27..9d04ff6609 100644 --- a/collects/scribblings/htdp-langs/beginner.scrbl +++ b/collects/scribblings/htdp-langs/beginner.scrbl @@ -77,4 +77,7 @@ A quoted @racket[name] is a symbol. A symbol is a value, just like @section[#:tag "beginner-pre-defined"]{Pre-defined Functions} -@prim-op-defns['(lib "htdp-beginner.rkt" "lang") #'here '()] +@(require (submod lang/htdp-beginner procedures)) +@(render-sections (docs) "htdp-beginner") + +@;prim-op-defns[ #'here '()] diff --git a/collects/scribblings/htdp-langs/intermediate-lambda.scrbl b/collects/scribblings/htdp-langs/intermediate-lambda.scrbl index b54ed73902..f6d31ea2b3 100644 --- a/collects/scribblings/htdp-langs/intermediate-lambda.scrbl +++ b/collects/scribblings/htdp-langs/intermediate-lambda.scrbl @@ -119,4 +119,7 @@ level as they did in the @secref["intermediate"] level. @section[#:tag "intm-w-lambda-pre-defined"]{Pre-defined Functions} -@prim-op-defns['(lib "htdp-intermediate-lambda.rkt" "lang") #'here '()] +@(require (submod lang/htdp-intermediate-lambda procedures)) +@(render-sections (docs) "htdp-intermediate-lambda") + +@;prim-op-defns['(lib "htdp-intermediate-lambda.rkt" "lang") #'here '()] diff --git a/collects/scribblings/htdp-langs/intermediate.scrbl b/collects/scribblings/htdp-langs/intermediate.scrbl index 089234297a..3fbaa5b5b9 100644 --- a/collects/scribblings/htdp-langs/intermediate.scrbl +++ b/collects/scribblings/htdp-langs/intermediate.scrbl @@ -95,7 +95,10 @@ did in the @secref["beginner-abbr"] level. -@section[#:tag "intermediate-pre-defined"]{Pre-defined Functions} +@section[#:tag "intermediate-pre-defined" ]{Pre-defined Functions} -@prim-op-defns['(lib "htdp-intermediate.rkt" "lang") #'here '()] +@(require (submod lang/htdp-intermediate procedures)) +@(render-sections (docs) "htdp-intermediate") + +@;prim-op-defns['(lib "htdp-intermediate.rkt" "lang") #'here '()]