From c47ad74b1b4257a25a08d5a65262e742bb011520 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Thu, 9 Sep 2010 11:28:59 +0200 Subject: [PATCH] Move the prim-op-defns of the DMdA-vanilla docs to right place. --- collects/deinprogramm/scribblings/DMdA-vanilla.scrbl | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl b/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl index 794debeec3..4c3e2aa399 100644 --- a/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl @@ -22,10 +22,6 @@ Abstraktion}. @prim-ops['(lib "DMdA-vanilla.ss" "deinprogramm") #'here] -@section[#:tag "vanilla-prim-op"]{Primitive Operationen} - -@prim-op-defns['(lib "DMdA-vanilla.ss" "deinprogramm") #'here '()] - @section[#:tag "signatures-vanilla"]{Signaturen} @subsection{@scheme[list-of]} @@ -79,4 +75,7 @@ sich also auf das @scheme[a] aus dem @scheme[let*]-Ausdruck, nicht das @scheme[a] aus der globalen Definition. } +@section[#:tag "vanilla-prim-op"]{Primitive Operationen} + +@prim-op-defns['(lib "DMdA-vanilla.ss" "deinprogramm") #'here '()]