3 Commits

Author	SHA1	Message	Date
Robby Findler	90581cc4f6	fixed much of PR 8094 and extended the module browser to also hide planet requires PR 7932 ... svn: r3290	2006-06-08 21:59:41 +00:00
Matthew Flatt	c727afef04	301.15: new install tree for Unix, moved docs, moved teachpacks, added config.ss ... svn: r2962	2006-05-18 15:03:05 +00:00
Eli Barzilay	017d151d59	Adding collects, with all the right properties (except eoln-style). ... svn: r3	2005-05-27 18:56:37 +00:00