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 E4E567F734 for ; Wed, 23 Sep 2015 14:23:13 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.17,577,1437429600"; d="asc'?scan'208";a="179072096" Received: from charm-ecran.irisa.fr ([131.254.101.83]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Sep 2015 14:23:13 +0200 From: Alan Schmitt To: David MENTRE , Nicolas Ojeda Bar Cc: caml-list@inria.fr References: <84io72z88q.fsf@cri.ensmp.fr> <56025424.2010508@linux-france.org> Date: Wed, 23 Sep 2015 14:23:10 +0200 In-Reply-To: <56025424.2010508@linux-france.org> (David MENTRE's message of "Wed, 23 Sep 2015 09:26:28 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Subject: Re: [Caml-list] How can I change the margin size in the toplevel? --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Nicolas and David, > This is rather heavy-handed, but you could compile your own custom > toplevel directly from source to do this. > Probably stupid and brute force suggestion: have you considered recompili= ng > the toplevel, modifying the constant defining the line width? Thank you for the suggestion. I could do this as a last resort now that I know where to change it, but I=E2=80=99d rather not. Is there a guide somewhere that explains how to create a new opam switch =46rom local (modified) ocaml sources? Alan --=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Athmospheric CO=E2=82=82 (Updated September 22, 2015, Mauna Loa Obs.): 397.= 77 ppm --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCgAGBQJWApmuAAoJEAQNCjtO0uXHFGIH+wdda+I3owjYvHwewCkDTjzp dKinHAHGRkhY5wkEjnLSZyLzwJ8ewoyCyykkTlbYWJzd9suF/3xT0dw+Fi9uCWYi ENfMQ7HV89Os/rxQ17mmdsKgKTBoCxuqdrqNMF8VEC2UraUTT5hmQ8uzb6GFVz72 ExRSA8pfkG8j0T1V8O6dBsraxWePP4pV0tn/QrJY5e0rJwqIEFmYKWSOcXKwZE+o yxxQWygPsdq8V73e8zdeuIBlUBmW0/+h25stENmo9BNkJ3MP/NYKDR+o+zfYKkI8 3TGJNiNPKeA1Is0CuUQ8CGbnweB/2VSV3DCVYzNtMBKwV+6ht5t1CgWzElI7FMU= =yI5P -----END PGP SIGNATURE----- --=-=-=--