Matthew Flatt 53f9aad182 add --redirect-main to scribble ... svn: r12230 original commit: 04369a39c7886125501cdb5e0ec79b91a2c33e78		2008-11-04 12:16:45 +00:00
..
help	sample code for diverting searches somewhere online	2008-09-22 20:05:38 +00:00
launcher	import	1998-01-13 22:13:43 +00:00
scribble	add --redirect-main to scribble	2008-11-04 12:16:45 +00:00
scribblings/scribble	remove search box for Scribble HTML output unless requested; move some hardwired styles to CSS file	2008-10-14 01:53:34 +00:00
tests/scribble	Rename input files so they get compiled too.	2008-09-17 14:26:40 +00:00