Matthew Flatt 41c752b9b4 make scribble reader section fit narrower column ... svn: r6265 original commit: 3c25a6ad93e78433981e798b920f9931e9d605c6		2007-05-24 10:36:03 +00:00
..
help	fixed bug in, and improved error message reporting for doc.txt files	2006-12-22 17:44:44 +00:00
launcher	import	1998-01-13 22:13:43 +00:00
scribble	fix link search to walk up sections, instead of using the global table	2007-05-24 10:16:15 +00:00
scribblings/scribble	make scribble reader section fit narrower column	2007-05-24 10:36:03 +00:00