It's working fine now.

thanks
Blaise

On Feb 24, 2011, at 4:53 PM, Jed Brown wrote:

On Thu, Feb 24, 2011 at 23:41, Blaise Bourdin <bourdin@lsu.edu> wrote:
It's still not happy...

Damn, every other manual says that is the way to indicate that you want assignment as a truth value. Could you try again, please.

-- 
Department of Mathematics and Center for Computation & Technology
Louisiana State University, Baton Rouge, LA 70803, USA
Tel. +1 (225) 578 1612, Fax  +1 (225) 578 4276 http://www.math.lsu.edu/~bourdin