Matthew Flatt 296e55d0e0 correct docs on code:contract ... Unfortunately, `scribble/manual` and `pict/code` differ on how they color `code:contract` content.		2015-10-02 15:36:12 -06:00
..
scribble	correct docs on code:contract	2015-10-02 15:36:12 -06:00