Annotated prooftexts update

Patrick Chan and I have updated this post:

http://triablogue.blogspot.com/2014/07/annotated-prooftexts.html

It's something we periodically update (adding new material), but this is the latest update.