[Z3-zemantic] can't seem to commit

[Paul Everitt]

If it gets fixed today, that would be great.  The hotel I'm at in 
Boston has a really fast net connection and I have an hour to kill. :^)

BTW, did you ever get your monster box setup and try some bulk 
experiments?

--Paul

On Feb 13, 2005, at 8:37 AM, Michel Pelletier wrote:

> hold on that 0.5 stuff until I can do a commit, I can't seem to get it 
> to
> work, but it worked earlier, so I assume it's a temporary issue.
>
> -Michel
> _______________________________________________
> Z3-zemantic mailing list
> Z3-zemantic at codespeak.net
> http://codespeak.net/mailman/listinfo/z3-zemantic