Hi Joachim, On Sat, Jul 17, 2010 at 10:22:00PM +0200, Joachim Breitner wrote: > > We have given up on packaging Isabelle, for various technical and > > social reasons. > > I’m currently working a lot with Isabelle and obviously, I’m wondering > why it has not been packaged for Debian. > > Could you elaborate what kind of technical and social issues came up?
to make a long story short: the Isabelle developers strongly prefer to
have only one official Isabelle distribution and, thus, do not
encourage Isabelle distribution by others. Moreover, they prefer to
provide the whole "Isabelle suite" (i.e., Isabelle and all surrounding
tools (Poly/ML, Proof General, Scala, e, spass, jedit, etc) as one
integrated bundle. Of course, this "bundling requirement" makes is
hard (if not impossible) to integrate properly into Debian.
Greetings,
Achim
--
http://www.brucker.ch
signature.asc
Description: Digital signature
