Regenerate core-spec.pdf.
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 14 Jan 2014 01:32:35 +0000 (20:32 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 14 Jan 2014 01:32:35 +0000 (20:32 -0500)
commitf9892b24c740628a54f5ebdd89e2fd5f72590522
treeee990818c0470725b9c185bb7a67a6190e6533cb
parented86b1a3140ee6a275a6047fc53f509a4b1ab30e
Regenerate core-spec.pdf.

This applies the changes in commit
a924debcbb3dc5c004f988fcc1b480a01ba276dd to the PDF file.
docs/core-spec/core-spec.pdf