From c274ee270de37f0ef4f53b60c20d57367304e93e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 7 Jan 2008 14:26:55 +0000 Subject: [PATCH] more scribble layers edits svn: r8248 original commit: 315dc915f53a31455e747f67d15aa16b96ada293 --- collects/scribblings/scribble/layers.scrbl | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/scribble/layers.scrbl b/collects/scribblings/scribble/layers.scrbl index 0026adfd..fb9989ff 100644 --- a/collects/scribblings/scribble/layers.scrbl +++ b/collects/scribblings/scribble/layers.scrbl @@ -29,6 +29,7 @@ A module written as @verbatim[#<