Extra points computed

[Subbarao Kambhampati <rao@asu.edu>]

Dear all:
 As many of you probably know, the final grades have been posted on
Monday. Here is one other piece of information that I did not get a
chance to send you earlier---these are the extra points (gained from the
project extras, homework extras as well as at home exam
points)--normalized. These were taken into account before final grades
were posted.

Happy winter solstice
Rao