Skip to content

History

New page

Revisions

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 5, 2015
    350f85c

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    989c50d

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    d0eb1db

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    e0b4c78

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    b28a76c

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    b965242

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    f4f418c

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    21fdb4f

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    b995d42

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    031e57f

  • Updated Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    09fa263

  • Created Navigation (markdown)

    @andygill andygill committed Oct 4, 2015
    926d56a

  • Created Transforming the First Wakarusa Example (markdown)

    @andygill andygill committed Aug 5, 2015
    8f19506

  • Fixed a few types in HERMIT.Dictionary.Reasoning

    @roboguy13 roboguy13 committed Jul 21, 2015
    bbe0c69

  • fixed type of `inst-lemma`

    @roboguy13 roboguy13 committed Jul 2, 2015
    93934fb

  • Unit tested things

    RyanGlScott committed Jul 1, 2015
    0bb7a20

  • Updated HERMIT to HERMIT Shell (markdown)

    @ecaustin ecaustin committed Jun 25, 2015
    42627aa

  • Updated HERMIT to HERMIT Shell (markdown)

    @ecaustin ecaustin committed Jun 25, 2015
    80682b0

  • Updated HERMIT to HERMIT Shell (markdown)

    @ecaustin ecaustin committed Jun 25, 2015
    c55864a

  • Updated HERMIT to HERMIT Shell (markdown)

    @ecaustin ecaustin committed Jun 25, 2015
    f2dc127

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    09c2ff6

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    3e5a472

  • Moved unsafe-replace into the right module

    @roboguy13 roboguy13 committed Jun 24, 2015
    4f8dc66

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    d089756

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    f55ba9d

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    baef790

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    4a93f8c

  • Updated HERMIT to HERMIT Shell (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    4233717

  • Updated Open Issues With HERMIT Shell API (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    e3ec1ac

  • Updated Open Issues With HERMIT Shell API (markdown)

    @roboguy13 roboguy13 committed Jun 24, 2015
    c4d9ca2