merge changes from head
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 7 Feb 2007 23:50:11 +0000 (23:50 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 7 Feb 2007 23:50:11 +0000 (23:50 +0000)
commita562a35ce1c90867f2a0f2c9dc1313baa927cd2f
treea7030b60b7fb491f7b775db894d212a4feac4cbc
parenta61d2551ff1fdb391f94f1a92eb55dc9202c7bd0
merge changes from head
make.sh