We've committed our changes to the repository, but they don't automatically
appear in our partner's working copy. For that to happen, our partner has
to explicitly ask for the recent changes to the repository:
If we update in our second working copy and then examine Combinatorics.java, we see that the comments are now there.