Skip to content

History / LinearTactics

Edit page New page

Revisions

  • syntax highlighting (part 3)

    @letouzey letouzey committed Oct 27, 2017
    6b3321a

  • conversion from rst to markdown via pandoc

    root committed Oct 11, 2017
    d00fb45

  • Converted to reStructuredText via moin2rst

    root committed Oct 11, 2017
    a5ab02c

  • corrected some bug

    AUGER committed Oct 11, 2017
    a820429

  • correction of a typo (and I forgot to say that the proof terms are better with the previous improvement)

    AUGER committed Oct 11, 2017
    49a74f6

  • improvement (not horrible hacks for tactic notations)

    AUGER committed Oct 11, 2017
    baf946f

  • No commit message

    AUGER committed Oct 11, 2017
    6fa8056

  • No commit message

    AUGER committed Oct 11, 2017
    35f054f

  • No commit message

    AUGER committed Oct 11, 2017
    eeae1a1

  • No commit message

    AUGER committed Oct 11, 2017
    1cf102f

  • No commit message

    AUGER committed Oct 11, 2017
    b54a104