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

On Wed, 9 Oct 2013, Makarius wrote:

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

Wait, that was too fast.  We still have this open issue to sort out:


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