From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA27674 for caml-redistribution; Mon, 9 Mar 1998 09:12:31 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA24167 for ; Wed, 4 Mar 1998 17:07:27 +0100 (MET) Received: from heplix.ikp.physik.tu-darmstadt.de (heplix.ikp.physik.tu-darmstadt.de [130.83.24.24]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id RAA08530 for ; Wed, 4 Mar 1998 17:07:26 +0100 (MET) Received: (from ohl@localhost) by heplix.ikp.physik.tu-darmstadt.de (8.8.5/8.8.5) id RAA31788; Wed, 4 Mar 1998 17:07:25 +0100 Date: Wed, 4 Mar 1998 17:07:25 +0100 Message-Id: <199803041607.RAA31788@heplix.ikp.physik.tu-darmstadt.de> From: Thorsten Ohl To: caml-list@inria.fr Subject: O'Caml prettyprinting to TeX/LaTeX anyone? X-Mailer: VM 6.36 under Emacs 19.34.1 Reply-To: ohl@hep.tu-darmstadt.de Sender: weis [ No, I'm not going to embarrass myself by trying to stutter French. I should have paid more attention in class :-(. ] Has anybody looked into pretty printing O'Caml to TeX and/or LaTeX? It should be possible with camlp4, but it doesn't appear to be a simple rainy afternoon's hack. Or is simple textual substitution my best bet? Is it worth the effort or is legibility not improved? Curious, -- Thorsten Ohl, Physics Department, TU Darmstadt -- ohl@hep.tu-darmstadt.de http://crunch.ikp.physik.tu-darmstadt.de/~ohl/ [<=== PGP public key here]