Skip to content

History / Emacs

Edit page New page

Revisions

  • Updated Emacs (markdown)

    @ivg ivg committed Oct 7, 2021
    ef91a23

  • updated instructions to use company mode

    @ivg ivg committed Mar 3, 2016
    c5bbd2e

  • added workaround to enable ocp-indent on recent (and buggy) tuareg.

    @ivg ivg committed May 21, 2015
    873c46c

  • added option that will for merlin to jump into mli instead of ml

    @ivg ivg committed Apr 13, 2015
    c6f8a7c

  • Specified location for .merlin; fixed small grammar error.

    @dbrumley dbrumley committed Mar 10, 2015
    1bbcf1a

  • Updated Emacs (markdown)

    @ivg ivg committed Mar 6, 2015
    d1da8ef

  • typo

    @ivg ivg committed Mar 6, 2015
    a7f951f

  • Added instructions on how to configure Emacs.

    @ivg ivg committed Mar 6, 2015
    7014130