From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4EC447EEF8 for ; Fri, 31 Jul 2015 11:50:19 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ilitzroth@gmail.com) identity=pra; client-ip=209.85.192.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ilitzroth@gmail.com"; x-sender="ilitzroth@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ilitzroth@gmail.com designates 209.85.192.45 as permitted sender) identity=mailfrom; client-ip=209.85.192.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ilitzroth@gmail.com"; x-sender="ilitzroth@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qg0-f45.google.com) identity=helo; client-ip=209.85.192.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ilitzroth@gmail.com"; x-sender="postmaster@mail-qg0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BKAgDyQ7tVmy3AVdFbhFcGgx2teJRNB0wBAQEBAQESAQEBAQEGCwsJIS6EGiIRHQEbHgMSCAEHNwIkAREBBQEGEAw1h3YBAxKgY4IFgSw+MYs/gWyCeYseChknDVeEfgEFDpM3gUMFlHiMSZdzEiOBFxeBWQELgik8MYJMAQEB X-IPAS-Result: A0BKAgDyQ7tVmy3AVdFbhFcGgx2teJRNB0wBAQEBAQESAQEBAQEGCwsJIS6EGiIRHQEbHgMSCAEHNwIkAREBBQEGEAw1h3YBAxKgY4IFgSw+MYs/gWyCeYseChknDVeEfgEFDpM3gUMFlHiMSZdzEiOBFxeBWQELgik8MYJMAQEB X-IronPort-AV: E=Sophos;i="5.15,583,1432591200"; d="scan'208";a="172248770" Received: from mail-qg0-f45.google.com ([209.85.192.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jul 2015 11:50:18 +0200 Received: by qgeu79 with SMTP id u79so42022545qge.1 for ; Fri, 31 Jul 2015 02:50:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=udytUY+FSgoy/fkinauvqvOd1649dCn/7LK7is/vffM=; b=kifhl8/eAqooAqRWfoQbrmjcUQm6sd0raN8sTXZlO30BcwK/b3qriUNcDyHOaVcLaa fM/yA3jLVDzp3elQY/tY0EkaNFDSMHxeVLhJCLZWQ0tl8qiFAOtPB/2Yp8u/aiXbhVjV ycueJsehgoVHo3er+Yo8sYVXotSjH0qPFC/wKwTvkOxe+0y2SMtZX3pTMR9MG1O2nbMU zEur3YCMRmnogfVKFEK9w3EBDZvwPyhn/s6b/agnM2h/jX9/2R+n4U8XhCWFQ6XYnumM qKvUIlEcneS02Naz5ykyTjXLcG+rq/j0cFJA2slmrXG0oaCLr6ma7s6NphYRbS6kDqFw Ko7w== X-Received: by 10.141.23.138 with SMTP id z132mr2785006qhd.27.1438336217208; Fri, 31 Jul 2015 02:50:17 -0700 (PDT) MIME-Version: 1.0 Received: by 10.96.205.97 with HTTP; Fri, 31 Jul 2015 02:49:57 -0700 (PDT) From: immanuel litzroth Date: Fri, 31 Jul 2015 11:49:57 +0200 Message-ID: To: OCaML List Mailing Content-Type: multipart/alternative; boundary=001a114238144b5cf6051c28bfb2 Subject: [Caml-list] info files --001a114238144b5cf6051c28bfb2 Content-Type: text/plain; charset=UTF-8 A set of info files is distributed for use in emacs. the are ocaml.info.gz and ocaml.info.body-??.gz which seem to be normal info files but don't contain an complete index, only for keywords and the library... then there are these file also packaged ocaml.info.haux.gz ocaml.info.hocaml.info.hind.gz ocaml.info.hocaml.info.kwd.hind.gz They don't look like info files -- what are they supposed to do? I'm trying to get C-h C-S to work with ocaml if anyone has a decent setup for that (s)he wants to share... Best Wishes Immanuel --001a114238144b5cf6051c28bfb2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
A set of info files is distributed for use in emacs.
t= he are ocaml.info.gz and ocaml.info.body-??.gz which seem to be normal info=
files but don't contain an complete index, only for keywords= and the library...
then there are these file also packaged
=
ocaml.info.haux.gz =C2=A0
ocaml.info.hocaml.info.hind.gz =C2= =A0
ocaml.info.hocaml.info.kwd.hind.gz
They don'= ;t look like info files -- what are they supposed to do?

I'm trying to get C-h C-S to work with ocaml if anyone has a dec= ent setup for that
(s)he wants to share...
Best Wishes<= /div>
Immanuel
--001a114238144b5cf6051c28bfb2--