Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.10.0

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.10.0


Chronological Thread 
  • From: Ian Zimmerman <itz AT very.loosely.org>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Coq 8.10.0
  • Date: Wed, 9 Oct 2019 13:12:54 -0700
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz AT very.loosely.org; spf=Pass smtp.mailfrom=itz AT very.loosely.org; spf=Pass smtp.helo=postmaster AT very.loosely.org
  • Ironport-phdr: 9a23:d7GqeBKXfSzlkO79H9mcpTZWNBhigK39O0sv0rFitYgeKvnxwZ3uMQTl6Ol3ixeRBMOHsqkC1bOd6vq6EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCezbL9oLRi6sArdutQIjYd8N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhyAaOT4k62HXktJ/g75HoByvoBx/xpTbYICTNPFjeq/QctcXSW9HU81MVSJOH5m8YpMBAeQBI+hWsorzp1UBohSiGAajBu3gxyRUhnPqx6A2z/gtHBvY0AEmAtkAsG7UrNLwNKoKUu661q/IxijAYPNX3Df97ZbHcgokof6WW7J7bM3cyUgzFwLElViQt5LqPymV1+gXt2ib6O1gVfmxhG4jqwB9uD+vxt0jioTQgI8e117K9SJ8wIkvJN24TlZ2YdujEJtXsCGWLZd5QsQnQ2xupS00yaUGtIamcCUIxpkr3QDTZvyHfoSS/B7vSeacLS15iX9hYL6yhhS//VK9xuD+WcS4ykhGoyRLn9XWqHwByh7e586aQfVn5EihwyyA1wXL5+FEP080ka3bJoY/wrEujJoSsV7PHivxmEXxl6+ZaEEk++iy5+TgeLXmqYeQN45yig7gLqQjgtGzDOY2PwQUQWSW+eSx2Kf98UHkQLhGlPw7n63BvJDfP8sbp6q5AwFP0oYk7hayFzam0MgZnHQcMlJKZgiHjojzN1HKJ/D4Cuy/jEqokDZr3fzGOafhAprVInjZjLjhZap961JbyAcr0d9f4ItUBqgdL/L3R0/+r8fVDgQ5Mgyx2+boEs9x1oIYWWKVA6+WKrnesVGS5rFnH+7Zb4gM/T35NvIN5vj0jHZ/l0VOU7Ou2M42YXbwLPVjJkiDZHPqyoMADXUioAckXaruj1qZXDpCIXGoUPRvtXkAFIu6ANKbFciWi7ub0XLnT8QKNFADMUiFFDLTT6vBQ+0FMXLAPMJ7g3oAUr+6Roswkxa0u12ikuc1Hq/v4iQd8Knb+p116unUzEFg6zFuHoKZ1GaWQmVl2GQSSG1vhfEtkQlG0l6GlJNArbldHN1X6elOV15qZ4DR1f08D9f1QQ/Fb5GOUln0G9g=

On 2019-10-09 15:27, Vincent Laporte wrote:

> The 8.10.0 release of Coq is available.

> - easy input of non-ASCII symbols in CoqIDE, which now uses GTK3.

It is reasonably easy for me now (coq 8.9) on Linux with XWindow, using
the XCompose mechanism. I would much rather continue doing it this way
(rather than some new special CoqIDE way), because it generalizes to all
other XWindow programs, and even (with some extra configuration) to
console programs. So, I have to ask, will the new CoqIDE work with
XCompose? I think it should, because my Emacs does, and it's built with
gtk3. But I want to be reassured before switching.

Thanks for coq, an amazing project.

--
Please don't Cc: me privately on mailing lists and Usenet,
if you also post the followup to the list or newsgroup.
To reply privately _only_ on Usenet and on broken lists
which rewrite From, fetch the TXT record for no-use.mooo.com.



Archive powered by MHonArc 2.6.18.

Top of Page