2 Commits

Author	SHA1	Message	Date
Matthew Flatt	141d818675	adjust tests for change to examples label typesetting ... There's now a blank line between "Examples:" and the example interaction.	2015-12-12 16:50:46 -07:00
Sam Tobin-Hochstadt	a316fc12c0	Remove extra directories.	2014-12-02 00:54:52 -05:00