The Coq mailing list

["Terrell, Jeffrey" <jeffrey.terrell AT kcl.ac.uk>]

Thanks for the information. Of course, I hadn't realised that you were writing up and wish you well with your PhD. However, I'm still not entirely clear on the state of play. Please see below.

On 11 Dec 2013, at 20:55, Pierre Boutillier wrote:

I am the guy and I send my phd dissertation to its reviewer 2 hours ago !!!

In order to do that I haven't open an .ml file since April (OK I lie but you get the point)

I had by a way or an other a email/a bug/someone in my office about this issue and I answer them so I thought everybody was aware of the point. I'm sorry if I miss the one of Roe. 

Anyway, now I can say it officially : I'll tackle the issue tomorrow.

Well in secret I've already started and my message to coq-club/coqdev about changes in the xml protocol between coq and coqide has been done in that purpose.

Long story short because I send at least 2 email on the subject to this list on that subject: I will never ever try to maintain coqide-v8.4 based on ocaml threads under macOS.

As a Coq user, I'm not sure of the significance of this remark.

On Friday, coqide-v8.4pl3.dmg will be coqide trunk based on gtkcallbacks plugged to coq top-v8.4pl3.

Are you saying that there will a version of the coqide in the trunk directory (i.e. the trunk in the directory to which the link below points) on Friday that I can download and use?

Thanks again.

Regards,

Jeff.

If you cannot wait any longer : have a look at the secret factory of mac bundle that I already advertised on this list at : http://www.pps.univ-paris-diderot.fr/%7Epboutill/coq-night/ (nothing to see for now, I am still at the phase where object-introspection is not happy with the python version of MacOS 10.6 and the autoconf of gtk wants files from object-introspection)

Pierre B.

Le 11 déc. 2013 à 21:34, "Terrell, Jeffrey" <jeffrey.terrell AT kcl.ac.uk> a écrit :

I note that Kenneth Roe posted a similar problem on 26th October, and like me did not receive a reply.

Surely someone knows - the guy who produced the package in the first place, or maybe one of his associates. It's quite important that I'm able to run the latest version of Coq on a Mac using the Coq IDE. I'd prefer not to go down the Proof General route.

Thanks.

Regards,
Jeff.

On 8 Dec 2013, at 10:02, Terrell, Jeffrey wrote:

I'd like to upgrade the Coq installation on my Mac OSX 10.7.5 to the latest version. However, although I can install and run coq-8.4.dmg okay, I can't install and run coqide-8.4pl2.dmg.

The strange thing is that while coq-8.4.dmg installs in the usual manner via the Mac installer, coqide-8.4pl2.dmg doesn't. In fact, when I try to install it, the CoqIdE_8.4pl2 application appears to be available straightaway. But when I select it, all that happens is that the Coq icon bobs up and down for a few seconds in the tray and then disappears.  

I'd be grateful for any thoughts on what could be wrong. Thanks.

Regards,
Jeff.