Matthew Flatt 4367ba6549 fix searching a different way, which more likely matches the intent ... svn: r10899 original commit: 78c52208361a517c2ea4a9a2d9ccf4c0c65974d9		2008-07-24 11:41:21 +00:00
..
help	* some fixes to make-search.ss	2008-07-11 09:50:29 +00:00
launcher	import	1998-01-13 22:13:43 +00:00
scribble	fix searching a different way, which more likely matches the intent	2008-07-24 11:41:21 +00:00
scribblings/scribble	scribble and doc improvements	2008-07-24 11:32:16 +00:00