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:
https://bitbucket.org/isabelle_project/isabelle-release/issue/18/word-completion-by-keyboard-shortcut-ctrl


	Makarius




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