Skip to content

History

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 Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    c9f57e2

  • Updated Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    514e771

  • Updated Installation (markdown)

    @aa755 aa755 committed Oct 28, 2015
    e1b0617

  • Updated Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    8faefa5

  • Updated Installation (markdown)

    @aa755 aa755 committed Oct 28, 2015
    ead04f1

  • Updated Home (markdown)

    @aa755 aa755 committed Oct 28, 2015
    a3d6e7c

  • Updated Home (markdown)

    @aa755 aa755 committed Oct 28, 2015
    d936163

  • Updated Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    e310c63

  • Updated Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    9230f28

  • Updated Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    37b8c4b

  • Updated Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    cb14031

  • Created Coq types for ROS messages (markdown)

    @aa755 aa755 committed Oct 28, 2015
    4ff7147

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    632aeac

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    db2f57e

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    85e60bf

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    8bca1bd

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    b75b82a

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    8f47649

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    c3fd215

  • Updated Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    b1bbb68

  • Updated Home (markdown)

    @aa755 aa755 committed Oct 27, 2015
    d4dcfcc

  • Updated Home (markdown)

    @aa755 aa755 committed Oct 27, 2015
    fd7f11b

  • Updated Compiling and Running (markdown)

    @aa755 aa755 committed Oct 27, 2015
    1e8cc20

  • Updated Compiling and Running Haskell extracts of ROSCoq software agents (markdown)

    @aa755 aa755 committed Oct 27, 2015
    79dea95

  • Created Compiling and Running Haskell extracts of ROSCoq software agents (markdown)

    @aa755 aa755 committed Oct 27, 2015
    da33834

  • Restructuring the running part

    @aa755 aa755 committed Oct 27, 2015
    f673362

  • updated the links to reflect the refractoring

    @aa755 aa755 committed Oct 26, 2015
    7a29764