Matthew Flatt ad769b4767 correct sizing of bib, finally ... svn: r15453 original commit: d6f5ace735e960253bf32a4692625001aea40c60		2009-07-15 22:54:17 +00:00
..
help	change 'help' to open the main doc page instead of the docs for 'help' itself	2009-01-04 23:15:50 +00:00
scribble	added set-prefix	2009-07-14 03:33:38 +00:00
scribblings/scribble	svn: r15441	2009-07-14 03:48:28 +00:00
scriblib	correct sizing of bib, finally	2009-07-15 22:54:17 +00:00
tests	move require into evaluation	2009-06-09 10:41:22 +00:00