Re: [isabelle] Packaging for distros? (Ubuntu/Debian/Fedora?)

On Sun, 28 Nov 2010, Ian Lynagh wrote:

I've never tried either of those, but broadly speaking my machine is the same as the package maintainers, and it presumably works for the maintainer, so it's likely to work for me.

The whole confusion seems to be based on a general disagreement of what "works" actually means.

Or it might be as simple as a README (in the normal place) explaining how to find the documentation. It depends what fits the package best.

Again these extra complications due to packaging.  Hopeless.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.