Skip to content
This repository

Mar 07, 2012

  1. Rudy Sicard

    [cleanup] opadoc: remove dead code

Feb 14, 2012

  1. Rudy Sicard

    [fix] install_release.sh: .api generation is still neded

    OpaOnWindowsNow authored BourgerieQuentin committed
  2. Quentin Bourgerie

    [fix] install_release: fix install_release script

    BourgerieQuentin authored
  3. Rudy Sicard

    [cleanup] documentation: disabling book generation, and old api offli…

    …ne html
    
    theses should come back soon in a different format
    OpaOnWindowsNow authored BourgerieQuentin committed

Feb 13, 2012

  1. Norman Scaife

    [feature] js-like,mode: new mode for js-like syntax

    Added initial opa-js-mode.el file.
    [fix] utils:  Removed debug statements from opa-js-mode.el.
    [fix] utils:  Updated load advice in opa-js-mode.el.
    [feature] utils:  Added opajs vim mode (just some fiddles with keywords).
    [feature] utils:  Record types for opa-js-mode.
    [feature] utils:  Renamed opa-mode to opa-classic-mode.
    [feature] emacs modes:  Updated installer and emacs startup files for opa-js-mode.
    nrs135 authored OpaOnWindowsNow committed

Jan 13, 2012

  1. Rudy Sicard

    [feature] install_release: new -no-man option

    OpaOnWindowsNow authored
  2. Rudy Sicard

    [fix] fedora,install_release: -keep-install-sys should use installed …

    …ocaml
    OpaOnWindowsNow authored

Jan 06, 2012

  1. [enhance] distrib: added compilation and install of manpages

    Mathieu Baudet authored

Sep 21, 2011

  1. Don't assume that bash is in /bin

    Frédéric Perrin authored

Sep 01, 2011

  1. [fix] install_release: -no-dbm

    François-Régis Sinot authored

Jun 21, 2011

  1. Initial open-source release

    MLstate authored
Something went wrong with that request. Please try again.