*To*: Christoph LANGE <math.semantic.web at gmail.com>*Subject*: Re: [isabelle] *.desktop entries and Arch packages [Re: Isabelle2013-1-RC2 available for testing]*From*: Makarius <makarius at sketis.net>*Date*: Wed, 9 Oct 2013 17:07:31 +0200 (CEST)*Cc*: isabelle-users at cl.cam.ac.uk*In-reply-to*: <52556BFC.8010807@gmail.com>*References*: <alpine.LNX.2.00.1310091446030.2111@macbroy21.informatik.tu-muenchen.de> <52556080.2040601@gmail.com> <alpine.LNX.2.00.1310091620010.13521@macbroy21.informatik.tu-muenchen.de> <52556BFC.8010807@gmail.com>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

On Wed, 9 Oct 2013, Christoph LANGE wrote:

I'm using Gentoo Linux, but Arch Linux has an excellent onlinedocumentation, and therefore that Arch wiki entry was the first goodreference I found on the *.desktop format.I am just trying to tick major Linux fractions as "tested", althoughfor Arch everybody needs to start from scratch anyway in the selectionof packages so it is hard to test anything once and for all.What do you mean? I thought that Isabelle, given its very specific Javaand jEdit dependencies, does not integrate well with package managersanyway (i.e. maintainers can't easily provide an Isabelle package, whichwould depend on some version of the distribution's Java and jEditpackages), and that therefore the recommended way is to unzip theall-in-one download, which brings its own dependencies. Which is what Ido (even though, in principle, I'd like the "package" approach better) –and I haven't had any problems on Gentoo so far.

OK, so I make a mental "tick" for Gentoo.

Makarius

**Follow-Ups**:

**References**:**[isabelle] Isabelle2013-1-RC2 available for testing***From:*Makarius

**Re: [isabelle] Isabelle2013-1-RC2 available for testing***From:*Christoph LANGE

**Re: [isabelle] Isabelle2013-1-RC2 available for testing***From:*Makarius

**[isabelle] *.desktop entries and Arch packages [Re: Isabelle2013-1-RC2 available for testing]***From:*Christoph LANGE

- Previous by Date: Re: [isabelle] Adding a code equation for a class parameter
- Next by Date: Re: [isabelle] *.desktop entries and Arch packages [Re: Isabelle2013-1-RC2 available for testing]
- Previous by Thread: [isabelle] *.desktop entries and Arch packages [Re: Isabelle2013-1-RC2 available for testing]
- Next by Thread: Re: [isabelle] *.desktop entries and Arch packages [Re: Isabelle2013-1-RC2 available for testing]
- Cl-isabelle-users October 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list