From 72180b7748d325ef02cce1c589dedb1ed3c819f8 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Wed, 29 Jun 2011 03:14:04 -0600 Subject: [PATCH] docs reorganization added tutorial, racket categories relabeled some other categories normalized manual names: de-bolded, changed some names original commit: 1b702a2ae32aba835f7467ced6b203902db0ccd9 --- 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 6489cc7..ba8a494 100644 --- a/collects/profile/scribblings/profile.scrbl +++ b/collects/profile/scribblings/profile.scrbl @@ -3,7 +3,7 @@ @(require scribble/manual (for-label scheme)) -@title{@bold{Profile}: Statistical Profiler} +@title{Profile: Statistical Profiler} The @racket[profile] collection implements a statistical profiler. The profiling is done by running a background thread that collects