Actually, there's plenty of stuff like that in the handin client, and together with the sudden popularity (very relatively speaking) of the handin server maybe it makes sense to add the whole thing to the standard distribution?
As a side benefit, the problems that are related to packaging the documentation without the handin server (the ones that David kept running into, and hacked around it) will trivially go away. On Feb 18, Robby Findler wrote: > We need the "I teach a course. How do I specialize drts to my > course?" chapter in the guide, IMO. > > Robby > > On Wed, Feb 18, 2009 at 8:34 AM, Matthias Felleisen > <[email protected]> wrote: > > > > Sounds like something we need a chapter on this stuff. Carl? Ryan? -- > > Matthias -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://www.barzilay.org/ Maze is Life! _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
