3 Commits

Author	SHA1	Message	Date
Eli Barzilay	073ca0d558	fix some typos, remove unused 'plt option, move test so there's no internal definition ... svn: r8442	2008-01-28 09:17:05 +00:00
Eli Barzilay	fff894d710	remove the now-redundant main-doc option ... svn: r8288	2008-01-11 02:29:49 +00:00
Matthew Flatt	b76aa843ab	move doc sub-dirs to scribblings sub-dirs ... svn: r8281	2008-01-10 20:07:32 +00:00