Permalink
Commits on Jan 21, 2013
  1. Version 0.6.0

    AltGr committed Jan 21, 2013
Commits on Jan 19, 2013
  1. Fixed bug with record types

    AltGr committed Jan 19, 2013
    ';' and ':' can't be considered to have their normal priorities there
  2. More clever indentation of empty lines

    AltGr committed Jan 19, 2013
    (after all, it's one of the most commonly used features)
  3. Fix on partial indentation

    AltGr committed Jan 19, 2013
Commits on Jan 17, 2013
  1. Repaired --debug

    AltGr committed Jan 17, 2013
  2. Added configuration presets

    AltGr committed Jan 17, 2013
    for now 'apprentice', 'normal' and 'JaneStreet'
  3. Makefile: compatibility fix

    AltGr committed Jan 17, 2013
    with different versions of ocp-build
Commits on Jan 16, 2013
  1. Merge pull request #17 from chambart/master

    AltGr committed Jan 16, 2013
    Improve performance by avoiding printf
Commits on Jan 15, 2013
  1. fix: alignment of bar

    AltGr committed Jan 15, 2013
  2. Fixed bug with match-with

    AltGr committed Jan 15, 2013
  3. bug-report

    AltGr committed Jan 15, 2013
    thanks to Pierre
  4. The relative indent for apply after arrow should probably only be app…

    AltGr committed Jan 15, 2013
    …lied for match arrows
  5. Fixed bar alignment in some cases

    AltGr committed Jan 15, 2013
    fixes the new tests
Commits on Jan 14, 2013
  1. Multiline tokens: satisfying results

    AltGr committed Jan 14, 2013
    strings won't be messed up, and are nicely handled when using \newline. Comments work well.
    Code is much cleaner.
    
    TODO: solve failure in js-comment, the comment lines are shifted to
    the right to ensure an indent of at least 3, but in this case it
    breaks in-comment indentation. Don't indent when '(*' is alone on its
    line ?
  2. Finally handling multi-line tokens correctly (wip)

    AltGr committed Jan 11, 2013
    Inside of comments should indent correctly (ie just relative to a reindent of the start of the comment).
    Strings are still WIP: they may be reindented even if not using \newline
  3. a few indent fixes and tests

    AltGr committed Jan 14, 2013
    * leading semicolon could mess the next token if after a newline
    * handling 'class' (as 'let')
    * comments at end of file
  4. test.sh: change meld mode pane order

    AltGr committed Jan 14, 2013
    it should be circular, but better diff directly ref and new result
Commits on Jan 10, 2013