Eli Barzilay 5e164bed59 Two doc typos. ... Closes PR 13590. Closes PR 13591. original commit: a1437e71f733e1866e1998799e4f1337a4043c4d		2013-03-11 09:06:46 -04:00
..
tests/typed-racket	Reduce usage of check-below.	2013-03-08 09:00:58 -08:00
typed	Move Optimization Coach to PLaneT 2.	2013-01-11 18:40:23 -05:00
typed-racket	Two doc typos.	2013-03-11 09:06:46 -04:00
typed-scheme	Move Optimization Coach to PLaneT 2.	2013-01-11 18:40:23 -05:00
unstable	logging: allow name in `log-message', report it in a log-receiver evt	2012-12-27 14:12:40 -06:00