Nothing to see here yet, just another test of packaging: http://www4.in.tum.de/~wenzelm/test/Isabelle_17-Jan-2013/ The first proper release candiate is anticipated for the weekend. Makarius