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 KAA15739 for caml-redistribution; Thu, 3 Apr 1997 10:04:31 +0200 (MET DST) 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 BAA09491 for ; Thu, 3 Apr 1997 01:24:18 +0200 (MET DST) Received: from tequila.systemsz.cs.yale.edu (TEQUILA.SYSTEMSZ.CS.YALE.EDU [128.36.11.106]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id BAA28513 for ; Thu, 3 Apr 1997 01:24:15 +0200 (MET DST) Received: (from news@localhost) by tequila.systemsz.cs.yale.edu (8.8.5/8.8.5) id SAA11427 for caml-list@inria.fr; Wed, 2 Apr 1997 18:24:14 -0500 To: caml-list@inria.fr From: Stefan Monnier Newsgroups: lists.caml Subject: O'Caml refman source Date: 02 Apr 1997 18:24:13 -0500 Message-ID: <5lafnhqa8x.fsf@tequila.systemsz.cs.yale.edu> X-Newsreader: Gnus v5.3/Emacs 19.34 Path: tequila.systemsz.cs.yale.edu NNTP-Posting-Host: tequila.systemsz.cs.yale.edu Sender: weis Is the source of the refman available somewhere ? I can see html, dvi, ps, prn, txt (some compressed, some not), it seems that they should all derive from some magic source (TeXinfo or somesuch). Why isn't it available ? ----- Lae source du manuel de référence est-il accesible quelque part ? Il semble que tous ces formats (dvi, ps, html, ...) dérivent d'une source genre TeXinfo, mais cette source semble ne pas être distribuée, pourquoi ? Stefan