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

2010-01-16 Thread Makarius
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

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

2010-01-16 Thread 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