From 04bf9ef961ff83a15a72935f74554899a0d5d54c Mon Sep 17 00:00:00 2001
From: Eric Hanchrow eric.hanch...@gmail.com
Date: Sun, 30 May 2010 00:57:02 -0700
Subject: [PATCH] Fix some typos
---
collects/scribblings/guide/namespaces.scrbl|4 ++--
collects/scribblings/guide/simple-syntax.scrbl
The PLaneT server still seems to be down.
Thanks,
Dave
On May 30, 2010, at 1:43 PM, Eli Barzilay wrote:
This problem is now resolved, so things should be back to normal --
everything should be working except for planet and pre. Specifically,
you should be able to interact with the git
I think Eli's message was meant to indicate that the planet server is
known to be down and that he didn't move it across the river in the
first place.
Robby
On Sun, May 30, 2010 at 5:24 PM, David Herman dher...@ccs.neu.edu wrote:
The PLaneT server still seems to be down.
Thanks,
Dave
On
On May 30, Robby Findler wrote:
I think Eli's message was meant to indicate that the planet server is
known to be down and that he didn't move it across the river in the
first place.
[Yes -- planet is on a different machine, which is physically big
enough that I couldn't just move it around as