Bug#880546: Packaging Isabelle was requested before but the plan was dropped

[Torsten Landschoff]

Have a look at this bug:

https://bugs.debian.org/494491

It looks for me like upstream would prefer not to have a Isabelle Debian
package. :-(