Eli Barzilay 03f29ff7b1 fix uses of #lang setup/infotab ... svn: r8534		2008-02-05 05:24:32 +00:00
..
info.ss	switched info.ss files to #lang	2008-02-04 23:00:35 +00:00
tools.scrbl	fix uses of #lang setup/infotab	2008-02-05 05:24:32 +00:00