3 Commits

Author	SHA1	Message	Date
Eli Barzilay	3c72e71e24	switched info.ss files to #lang ... svn: r8532	2008-02-04 23:00:35 +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