[isabelle-dev] added 605 changesets with 1325 changes to 175 files

[Alexander Krauss]

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