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

2013-10-09 17:00 Makarius:
> Anyway, we should work out the Gentoo problem with C-B for explicit
> completion in Isabelle/jEdit.

As I have just realised this may be a different problem than what I had

> For Gentoo it will
> be more difficult, since I can't make my own installation of it in
> finite time.

Anyway, I'll be happy to test anything on Gentoo for you, maybe even
other users' problems, given precise instructions.



Christoph Lange, School of Computer Science, University of Birmingham, Skype duke4701

→ Mathematics in Computer Science Special Issue on “Enabling Domain
  Experts to use Formalised Reasoning”; submission until 31 October.

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