On Sat, 16 Jan 2010, Alexander Krauss wrote:
> Hi Brian,
>
>> added 605 changesets with 1325 changes to 175 files
>>
>> Wow! What just happened?
>
> Makarius merged in a long line of development concerning the interface
> from a previously separate repository: c13e168a8ae6 through
> e596a0b71f3
Hi Brian,
> added 605 changesets with 1325 changes to 175 files
>
> Wow! What just happened?
Makarius merged in a long line of development concerning the interface
from a previously separate repository: c13e168a8ae6 through e596a0b71f3c.
Alex
>From my most recent "hg pull":
pulling from ssh://huffman at
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?
-