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

Alexander Krauss krauss at in.tum.de
Sat Jan 16 11:10:59 CET 2010


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



More information about the isabelle-dev mailing list