tag new defined identifiers
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 02:56:44 +0000 (22:56 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 02:56:44 +0000 (22:56 -0400)
commit689767795de84b70cf27ecc18c2c88d5c905212a
tree8695cd8d5d6c17201350bcf6336a929cc0084082
parent9947d574bc90339daa90add14201368c0611f428
tag new defined identifiers
paper/dfopt.tex