At Sat, 26 Aug 2006 08:19:17 0800, Matthew Flatt wrote: > I edited library.stex I forgot to mention that I also changed the text to be consistent with the `for' I'd like in `export' (which is another possible reason to rewind, depending on what we decide). Matthew