("4.2" (collects #"scheme" #"base.ss") (collects #"lang" #"private" #"teachprims.ss") (collects #"mzlib" #"etc.ss") (collects #"mzlib" #"list.ss") (collects #"mzlib" #"pretty.ss") (collects #"syntax" #"docprovide.ss") (collects #"scheme" #"promise.ss") (collects #"lang" #"posn.ss"))
