Permalink
Commits on Jan 16, 2014
Commits on Jan 14, 2014
  1. Merge pull request #1092 from AltGr/prepare-1.1.1

    CHANGES, copyright year and generated files updates
    AltGr committed Jan 14, 2014
  2. Update generated files for 1.1.1

    AltGr committed Jan 14, 2014
  3. Update CHANGES

    AltGr committed Jan 14, 2014
  4. Merge pull request #1089 from AltGr/allow-url-mirrors

    Handling lists of mirrors in url files
    AltGr committed Jan 14, 2014
  5. Updated dev-manual for 'url'

    AltGr committed Jan 14, 2014
  6. Handling lists of urls to be able to specify mirrors

    in case the main upstream is down. Fixes #807
    AltGr committed Jan 14, 2014
  7. Merge pull request #1087 from AltGr/update-dev-manual

    dev-manual: Documenting 'depexts' and a few fixes
    AltGr committed Jan 14, 2014
  8. rebuild dev-manual pdf

    AltGr committed Jan 14, 2014
  9. Document 'depexts' in the dev-manual

    Now that it is a bit more stable. Closes #991
    AltGr committed Jan 14, 2014
Commits on Jan 13, 2014
  1. Merge pull request #1085 from AltGr/clean-ocaml-build

    Cleanup build dir after successful switch
    samoht committed Jan 13, 2014
  2. Cleanup build dir after successful switch

    Fixes #1006
    AltGr committed Jan 13, 2014
  3. Merge pull request #1084 from AltGr/CONTRIBUTING-reports

    update CONTRIBUTING to ask for `opam config report`
    AltGr committed Jan 13, 2014
  4. Merge pull request #1083 from AltGr/no-dev-upgrade

    Do not reinstall dev packages on upgrade when package names are specified
    AltGr committed Jan 13, 2014
  5. Do not reinstall dev packages on upgrade when package names are speci…

    …fied
    
    
    Fixes #1001. Thanks for reporting !
    AltGr committed Jan 13, 2014
  6. Merge pull request #1081 from AltGr/fix-init-rm-rf

    Confirm init in a non-empty, non-opam dir
    AltGr committed Jan 13, 2014
  7. Confirm init in a non-empty, non-opam dir

    and don't delete the directory on abort or error after confirmation
    
    Fixes #974, thanks for reporting
    AltGr committed Jan 13, 2014
  8. Updated CHANGES

    AltGr committed Jan 13, 2014
  9. Merge pull request #1080 from AltGr/opam-config-report

    Added `opam status report` to help users give meaningful bug reports
    AltGr committed Jan 13, 2014
  10. Merge pull request #1079 from AltGr/fix-warning-depopts

    Fixed warnings with unknown dependencies/depopts
    samoht committed Jan 13, 2014
Commits on Jan 9, 2014
  1. Merge pull request #1070 from AltGr/patch-errors

    Fixed error messages on patch errors
    AltGr committed Jan 9, 2014
  2. Fixed error messages on patch errors

    Closes #987, #988
    AltGr committed Jan 9, 2014
  3. Merge pull request #1069 from AltGr/switch-list-doc

    opam switch list: improved documentation
    AltGr committed Jan 9, 2014
  4. Merge pull request #1068 from AltGr/fix-init.sh

    Always generate <opamroot>/opam-init/init.*sh at init
    AltGr committed Jan 9, 2014
  5. Merge pull request #1061 from vbmithr/nowhich

    Do not use which anymore.
    AltGr committed Jan 9, 2014
  6. opam switch list: improved documentation

    Closes #1021
    AltGr committed Jan 9, 2014
  7. Always generate <opamroot>/opam-init/init.*sh at init

    only the ~/.{profile,ocaml-init} need to be asked for. Fixes #1011
    AltGr committed Jan 9, 2014
Commits on Jan 6, 2014
  1. Merge pull request #1060 from vbmithr/master

    Use env variable OPAMCURL directly when given, do not try to use which o...
    samoht committed Jan 6, 2014
  2. Merge pull request #1055 from AltGr/refs/heads/opam-installer-fixes

    Fixed some bugs
    AltGr committed Jan 6, 2014
  3. Do not use which anymore.

    vbmithr committed Jan 6, 2014