From 799e0d9364f2b74010a9f60732dcbb08d67bf091 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 30 Mar 2009 21:12:33 +0000 Subject: [PATCH] more common looking title svn: r14365 original commit: 1fca4a4a4966b28c51f4011dd6fbc71b48bce182 --- collects/profile/scribblings/profile.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/profile/scribblings/profile.scrbl b/collects/profile/scribblings/profile.scrbl index ef93db5..24fc1be 100644 --- a/collects/profile/scribblings/profile.scrbl +++ b/collects/profile/scribblings/profile.scrbl @@ -3,7 +3,7 @@ @(require scribble/manual (for-label scheme)) -@title{Statistical Profiler} +@title{@bold{Profile}: Statistical Profiler} The @scheme[profile] collection implements a statistical profiler. The profiling is done by running a background thread that collects