Skip to content

History / Installation of Coq on Windows

Edit page New page

Revisions

  • I had to set the coq directory in VSCode VSCoq to get WSL to work

    @mikeshulman mikeshulman committed Aug 5, 2024
    a174a5c

  • Revert d9b928534385125122b7760cb1a80b7eff044d1d...234e86d6a947a20707e194c75e57f34813dfd2d2 on Installation of Coq on Windows

    @Zimmi48 Zimmi48 committed Aug 11, 2022
    7338a16

  • Updated Installation of Coq on Windows (markdown)

    @PempheroKamundi PempheroKamundi committed Aug 10, 2022
    234e86d

  • Revert 304ffa381bbffb3300af835c0b9a4c7ca6e7a381...7f9b818f80f09571b67a232f786da9876268a259 on Installation of Coq on Windows

    @Zimmi48 Zimmi48 committed Oct 20, 2021
    d9b9285

  • Updated Installation of Coq on Windows (markdown)

    @kirniko kirniko committed Oct 19, 2021
    7f9b818

  • Update URL

    @erikmd erikmd committed Mar 25, 2021
    304ffa3

  • Platform update

    @Zimmi48 Zimmi48 committed Mar 2, 2021
    ef5c2b3

  • Updated Installation of Coq on Windows (markdown)

    @jfehrle jfehrle committed Aug 3, 2020
    2c9304f

  • Updated Installation of Coq on Windows (markdown)

    @Zimmi48 Zimmi48 committed Mar 25, 2020
    8588c82

  • Updated Installation of Coq on Windows (markdown)

    @Zimmi48 Zimmi48 committed Mar 25, 2020
    acffd56

  • Added Visual Studio Code front-end instructions.

    @mrhaandi mrhaandi committed Mar 25, 2020
    753a03d

  • Added "gcc" to list of OPAM dependencies. Some of the WSL options don't come with it the "Configure OPAM" step can fail without gcc.

    James Leslie committed Feb 1, 2020
    f2d6206

  • Tweak front-end setup

    @jfehrle jfehrle committed Sep 23, 2019
    87960f3

  • Put Chocolatey in the install from binary section.

    @Zimmi48 Zimmi48 committed Sep 13, 2019
    cec929a

  • Updated Installation of Coq on Windows (markdown)

    @jfehrle jfehrle committed Sep 13, 2019
    3139889

  • Updated Installation of Coq on Windows (markdown)

    @jfehrle jfehrle committed Sep 13, 2019
    adc59c6

  • Updated Installation of Coq on Windows (markdown)

    @Zimmi48 Zimmi48 committed Aug 28, 2019
    431a6fd

  • Add section "Installation of Coq in WSL + (VcXsrv or wsl-alias)"

    @erikmd erikmd committed Aug 27, 2019
    5bf2b8b

  • Add Chocolatey badge, improve formatting

    @ComFreek ComFreek committed Apr 28, 2019
    2e9ecb0

  • Add info on installing Coq via Chocolatey

    @ComFreek ComFreek committed Apr 28, 2019
    2d8c7f1

  • Updated list of packages included in the installer and added some additional information on the installer and packages.

    @MSoegtropIMC MSoegtropIMC committed Dec 12, 2018
    8e84126

  • Better rendering

    @Zimmi48 Zimmi48 committed Apr 23, 2018
    60b0ee0

  • Update existing instructions to install Coq on Windows.

    @Zimmi48 Zimmi48 committed Apr 23, 2018
    a662b80

  • I believe this intended to be "4GB", not "4Go".

    @pmetzger pmetzger committed Apr 22, 2018
    55c2b27