From 0d81c599bd2b580fd5959ed95329a85735495b4e Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 29 May 2008 21:14:37 +0000
Subject: [PATCH] "provided from"

svn: r10026
---
 collects/scribblings/main/private/make-search.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss
index febbf4d407..60ea334127 100644
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@@ -294,7 +294,7 @@
                       + '</span>';
             desc = '&nbsp;&nbsp;'
                    + '<span style="font-size: 80%;">'
-                   + '<span style="font-size: 80%;">from</span> '
+                   + '<span style="font-size: 80%;">provided from</span> '
                    + desc + '</span>';
           }
           result_links[i].innerHTML =