Skip to content
This repository has been archived by the owner on Apr 7, 2021. It is now read-only.

History

Revisions

  • Created Additional troubleshooting for getting a working setup for project Everest (markdown)

    @s-zanella s-zanella committed Aug 22, 2017
    cf7c115

  • Updated Home (markdown)

    @Matafou Matafou committed Jan 4, 2017
    83bdaab

  • tried with notepad and it failed.

    @Matafou Matafou committed Jan 4, 2017
    699074d

  • git is needed by opam, it is apparently not installed by default in cygwin

    @Matafou Matafou committed Jan 4, 2017
    c29395f

  • Updated Home (markdown)

    @msprotz msprotz committed Nov 29, 2016
    43a507b

  • Updated Home (markdown)

    @msprotz msprotz committed Oct 24, 2016
    4384a32

  • Updated Home (markdown)

    @msprotz msprotz committed Oct 17, 2016
    4fb2655

  • another link about problems with ctypes

    @akavel akavel committed Aug 31, 2016
    b3fbc27

  • FIXME on ctypes

    @akavel akavel committed Aug 31, 2016
    9232d8d

  • separate section "Package-specific hints" + prettier formatting (indentation) in bullet-point lists

    @akavel akavel committed Aug 31, 2016
    b01ffcf

  • add info about how to run utop

    @akavel akavel committed Aug 31, 2016
    0f7deee

  • add info about ctypes and libffi

    @akavel akavel committed Aug 31, 2016
    2853d3b

  • Updated Home (markdown)

    @nikswamy nikswamy committed Aug 5, 2016
    b8c4002

  • Updated Home (markdown)

    @msprotz msprotz committed Jul 27, 2016
    9ad3e09

  • Updated Home (markdown)

    @msprotz msprotz committed Jul 27, 2016
    4d25bfb

  • mention that `opam init` should be run in Cygwin, not cmd.exe

    @akavel akavel committed Jul 5, 2016
    25791ce

  • sort Cygwin packages alphabetically, for easier use

    @akavel akavel committed Jul 5, 2016
    bd239a4

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 16, 2016
    5dbb05d

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 10, 2016
    2f7115f

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 10, 2016
    325e756

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 10, 2016
    3df90e6

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 6, 2016
    df6ccfa

  • Revert 05d977972fd9250399458d4280cde5e2f07018e3...53c1dcdd8745a7a80e4b0cbcabca5d1ba4417dea on Home

    @msprotz msprotz committed Jun 6, 2016
    1afdc2a

  • Updated Home (markdown)

    @s-zanella s-zanella committed Jun 3, 2016
    53c1dcd

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 3, 2016
    05d9779

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 3, 2016
    d49438b

  • Updated Home (markdown)

    @msprotz msprotz committed Jun 3, 2016
    bb28970

  • Initial Home page

    @msprotz msprotz committed Jun 3, 2016
    ce4f5fe