coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] web interface?

From: "Kasper Brink" <K.Brink AT cs.ru.nl>
To: "Freek Wiedijk" <freek AT cs.ru.nl>
Cc: coq-club AT inria.fr, cezary.kaliszyk AT uibk.ac.at, "Herman Geuvers" <herman AT cs.ru.nl>
Subject: Re: [Coq-Club] web interface?
Date: Mon, 1 Sep 2014 11:20:57 +0200
Importance: Normal

Hello all,

>>When I tried ProofWeb it told me 'Welcome to Coq trunk
>>(Nov. 2006)"
>>
>>and then it refused to work at all (could not start a new
>>line after the first sentence).

This is a browser-specific bug in ProofWeb. As Freek mentioned, it only
really works in Mozilla-based browsers such as Firefox.

> Also, I think there was a reason why ProofWeb doesn't work
> anymore with the latest Coqs (something changed a bit),
> but I might be mistaken.

The Proof General interface seems to have changed slightly during the
development of Coq 8.4. The latest Coq that works with ProofWeb is Coq
8.4beta (December 2011). This is available on https://prover.cs.ru.nl/ as
"Coq/Trunk" under the "Provers" menu.

Kasper

Re: [Coq-Club] web interface?, Enrico Tassi, 09/01/2014
- <Possible follow-up(s)>
- Re: [Coq-Club] web interface?, Freek Wiedijk, 09/01/2014
  - Re: [Coq-Club] web interface?, Kasper Brink, 09/01/2014
  - Re: [Coq-Club] web interface?, Bill Richter, 09/02/2014
    - Re: [Coq-Club] web interface?, Kevin Sullivan, 09/02/2014
      - Re: [Coq-Club] web interface?, Christophe Bal, 09/03/2014
- Re: [Coq-Club] web interface?, Adam Chlipala, 09/01/2014
  - Re: [Coq-Club] web interface?, Pierre Boutillier, 09/02/2014
    - Re: [Coq-Club] web interface?, Christophe Bal, 09/02/2014