Hi, I'm basically finished packaging Isabelle. Available from ssh://git.debian.org/git/debian-science/packages/isabelle.git Any comment before I upload to sid? (Especially from Achim?) -- Lionel