coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq prompt in proof-general

From: Bernard Hurley<bernard AT marcade.biz>
To: coq-club AT inria.fr
Subject: [Coq-Club] coq prompt in proof-general
Date: Sat, 7 Apr 2012 03:14:47 +0200

Hi all,

I am using coq with prof-general in emacs. In the *coq* buffer the prompt
looks like:

<prompt>Coq < 25 || 0 < </prompt>

What can I do to clean it up?

Thanks,

Bernard

[Coq-Club] coq prompt in proof-general, Bernard Hurley
- Re: [Coq-Club] coq prompt in proof-general, Edward Z. Yang
  - Re: [Coq-Club] coq prompt in proof-general, Bernard Hurley
    - Re: [Coq-Club] coq prompt in proof-general, Adam Chlipala
      - Re: [Coq-Club] coq prompt in proof-general, Pierre Courtieu