From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA00156; Fri, 2 Apr 2004 08:31:46 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA00519 for ; Fri, 2 Apr 2004 08:31:45 +0200 (MET DST) Received: from mail.rsise.anu.edu.au (mail.rsise.anu.edu.au [150.203.208.4]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i326VhYM013894 for ; Fri, 2 Apr 2004 08:31:43 +0200 Received: from localhost (localhost [127.0.0.1]) by mail.rsise.anu.edu.au (Postfix) with ESMTP id EA193269E for ; Fri, 2 Apr 2004 16:31:40 +1000 (EST) Received: from pulp.anu.edu.au (pulp.anu.edu.au [150.203.126.25]) by mail.rsise.anu.edu.au (Postfix) with ESMTP id AB6D5269D for ; Fri, 2 Apr 2004 16:31:39 +1000 (EST) Received: by pulp.anu.edu.au (Postfix, from userid 1560) id 67D9625B7AB; Fri, 2 Apr 2004 16:31:39 +1000 (EST) Date: Fri, 2 Apr 2004 16:31:39 +1000 From: Pietro Abate To: caml-list@inria.fr Subject: Re: [Caml-list] can I use camlp4 to output latex ? Message-ID: <20040402063139.GA13047@pulp.anu.edu.au> Mail-Followup-To: Pietro Abate , caml-list@inria.fr References: <20040402004518.GA11499@pulp.anu.edu.au> <20040402045113.GA14712@ours.starynkevitch.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040402045113.GA14712@ours.starynkevitch.net> X-Operating-System: GNU/Linux X-Organization: Research School of Information Science and Engineering (Australian National University) User-Agent: Mutt/1.5.5.1+cvs20040105i X-Scanned-By: AMaViS-ng/Claimv at mail.rsise.anu.edu.au X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; pietro:01 abate:01 pietro:01 abate:01 caml-list:01 camlp:01 2004:99 basile:01 2004:99 camlp:01 pseudo-ocaml:01 ocamldoc:01 ocamldoc:01 ad-hoc:01 frac:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 24 On Fri, Apr 02, 2004 at 06:51:13AM +0200, Basile STARYNKEVITCH wrote: > On Fri, Apr 02, 2004 at 10:45:18AM +1000, Pietro Abate wrote: > > I'd like to use camlp4 to pretty print my files (pseudo-ocaml) in latex. > This is the job of ocamldoc (which already knows how to output > LaTeX). Why don't you use ocamldoc? because ocamldoc doesn't know about my camlp4-sh syntax ... do you propose to hack ocamldoc to understand my syntax and then write ad-hoc output functions ? I hope there's a better solution :-(( actually, my pretty print is not going to be just ocaml code + color in latex, but a total rewrite of my rules/code in a human readable format... something like: let or = let a = prem { A ; B ; X } and b = concl { A v B ; X } in rule (a,b) to \frac{or}{A ; B ; X}{A v B ; X} ... don't know if it's legitmate latex code ... tnx for the feedback :-) p -- ++ "All great truths begin as blasphemies." -George Bernard Shaw ++ Please avoid sending me Word or PowerPoint attachments. See http://www.fsf.org/philosophy/no-word-attachments.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners