stop building the supplement for the submission to POPL 2010
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 14 May 2010 14:59:01 +0000 (10:59 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 14 May 2010 14:59:01 +0000 (10:59 -0400)
commit0b6eea51281011fb5b4779355d90293727af6abc
treeec6e1736f64864ba6d5adaac15e62b0055fd6bf3
parentdc30d8f652d04f475f4e8fa070f9788416719077
stop building the supplement for the submission to POPL 2010
paper/mkfile