From: Markus Mottl <markus.mottl@gmail.com>
To: david.baelde@ens-lyon.org
Cc: caml-list@inria.fr, Olivier Grisel <olivier.grisel@ensta.org>
Subject: Re: [Caml-list] New Ocaml indentation for VIm
Date: Mon, 7 Mar 2005 10:57:04 -0500 [thread overview]
Message-ID: <20050307155704.GA16608@quant3.janestcapital.quant> (raw)
In-Reply-To: <421F74AE.40604@ens-lyon.fr>
Hi David,
On Fri, 25 Feb 2005, David Baelde wrote:
> Regarding integration of omlet with the official ocaml support, as far
> as I'm concerned I think it could be done within a few months, when
> OMLet will be considered stable. But Markus Mottl didn't give me his
> advice.
Sorry for the long delay, but I'm currently having a huge backlog of
mails that need to be answered.
I have now found time to take a closer look at your work, and I think
it looks very promising. I have just integrated your changes into my
distribution of Vim-files (see signature for link to my new site).
The two indentation styles are still separate, but I think that once OMLet
is stable, we can make it the default. I'll keep using it as default in
my projects to track down potential problems, but it looks great so far.
Thanks a lot for your work!
Best regards,
Markus
--
Markus Mottl markus.mottl@gmail.com http://www.ocaml.info
next prev parent reply other threads:[~2005-03-07 15:57 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-06 2:31 David Baelde
2005-02-25 10:22 ` [Caml-list] " Olivier Grisel
2005-02-25 10:58 ` Sven Luther
2005-02-25 14:18 ` Olivier Grisel
2005-02-25 18:55 ` David Baelde
2005-02-26 8:16 ` Stefano Zacchiroli
2005-02-26 8:39 ` Sven Luther
2005-02-26 9:51 ` Samuel Mimram
2005-02-26 10:48 ` Sven Luther
2005-03-07 15:57 ` Markus Mottl [this message]
2005-03-23 22:37 ` Olivier Grisel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20050307155704.GA16608@quant3.janestcapital.quant \
--to=markus.mottl@gmail.com \
--cc=caml-list@inria.fr \
--cc=david.baelde@ens-lyon.org \
--cc=olivier.grisel@ensta.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).