Makarius> In the end the main question is how to serve users best. Makarius> There is hardly anybody missing a Debianized version of Makarius> Isabelle, but people occasionally come to me and say I should Makarius> bundle even more things in the one big Isabelle distribution, Makarius> bypassing problems of their standard OS packages.
Here is one datapoint the other way. I wish Isabelle was DFSG free and I wish it was possible to package it. I will not use the binary bundle, just as I will not use a binary bundle of, say, Adobe Reader, however convenient it might seem at any given moment. I would be interested to know what the "problems of their standard OS packages" are, in the case of Debian. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png Rule 420: All persons more than eight miles high to leave the court. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
