We have a new definition of agreement as shown on slide 3. http://www.ccs.neu.edu/home/lieber/courses/se-courses/cs5500/f11/lectures/SCG-Spec.ppt This will allow us to have tournaments very soon. Tuba and Nanda will lead the discussion whether the new agreement makes sense. -- Karl -------------- next part -------------- HTML attachment scrubbed and removed