[isabelle-dev] Isabelle_25-Sep-2013 integration test

[Makarius]

Here is another integration test (based on Isabelle/c83727c7a510):

   http://www4.in.tum.de/~wenzelm/test/Isabelle_25-Sep-2013

Many of the contributing components have changed since last time, so it is 
worth checking again if everything fits together on all platforms, and 
nothing important is missing.

Next week or so we start with official release candidates on 
isabelle-users.  Right now it is just everyday business on isabelle-dev.


 	Makarius