Skip to content

History / Installation

Edit page New page

Revisions

  • now using the official versions of CoRN and MathClasses

    @aa755 aa755 committed Jun 12, 2016
    b32e6db

  • Updated Installation (markdown)

    @aa755 aa755 committed Mar 24, 2016
    91a3915

  • no need to build Coq from git

    @aa755 aa755 committed Mar 23, 2016
    2e6df30

  • Updated Installation (markdown)

    @aa755 aa755 committed Oct 28, 2015
    e1b0617

  • Updated Installation (markdown)

    @aa755 aa755 committed Oct 28, 2015
    ead04f1

  • environment variables for Coq libraries

    @aa755 aa755 committed Sep 29, 2015
    fd330af

  • done with the installation section

    @aa755 aa755 committed Sep 29, 2015
    b2a1417

  • minor fixes

    @aa755 aa755 committed Sep 29, 2015
    810ec34

  • wrote about installation of roscoq

    @aa755 aa755 committed Sep 29, 2015
    9266ba8

  • fixed errors observed while testing in a fresh Ubuntu 14.04 VM

    @aa755 aa755 committed Sep 29, 2015
    6f66057

  • minor fix

    @aa755 aa755 committed Sep 29, 2015
    7b48bde

  • finished describing dependencies

    @aa755 aa755 committed Sep 29, 2015
    39e1167

  • Some documentation on dependencies

    @aa755 aa755 committed Sep 28, 2015
    f98d8fa