Dear Isabelle contributors, the code freezing time for Isabelle2008 is imminent. Any last minute commits should be restricted to real show stoppers. There are still a couple of days to tune documentation, though. Please also check your entries in NEWS and CONTRIBUTORS. Makarius