Re: [racket-dev] OK, how do I fix this DrDr complaint?

2011-07-05 Thread Matthew Flatt
At Tue, 5 Jul 2011 09:23:38 +0800, Robby Findler wrote: On Tue, Jul 5, 2011 at 8:52 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Jul 4, 2011 at 8:36 PM, Stephen Bloch sbl...@adelphi.edu wrote: As of this evening's DrDr build, test-docs-complete is complaining of a gazillion

[racket-dev] ohloh page

2011-07-05 Thread Eli Barzilay
I took over the ohloh page for the racket project. (It used to point to a project that has been completely dead for a number of years.) See it here: http://www.ohloh.net/p/racket It has some nice features like an aggregation of RSS feeds (I've added the repository and the blog feeds) and a

Re: [racket-dev] syntax taints instead of syntax certificates

2011-07-05 Thread Eli Barzilay
On Saturday, Matthew Flatt wrote: At Sat, 2 Jul 2011 12:34:49 -0400, Eli Barzilay wrote: I read the guide chapter -- it has a few typos: 1. The page is stx-certs.html. Intentional, though I'm not sure it's a good idea. There's a small benefit of keeping the URL the same and making old