Skip to Content.

Sympa Menu

coq-club - pretty printing

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

pretty printing

chronological Thread

From: Dimitri Hendriks <Dimitri.Hendriks AT phil.uu.nl>
To: coq-club AT pauillac.inria.fr
Subject: pretty printing
Date: Mon, 27 Sep 1999 10:18:28 +0200 (MET DST)

Hi,

How do I switch off pretty printing
(in particular: and, or & ex) ?

Thanks, Dimitri

pretty printing, Dimitri Hendriks
- Re: pretty printing, Jean-Christophe Filliatre
  - Re: pretty printing, Bruno Barras

Archive powered by MhonArc 2.6.16.