>From my most recent "hg pull": pulling from ssh://huffman@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle searching for changes adding changesets adding manifests adding file changes added 605 changesets with 1325 changes to 175 files Wow! What just happened? - Brian