Skip to content

History / CoqIde configuration to input special characters

Edit page New page

Revisions

  • Updated CoqIde configuration to input special characters (markdown)

    @charguer charguer committed Jun 14, 2021
    b678326

  • Changing "widow" to "window"

    @acolum acolum committed Oct 5, 2019
    728e651

  • Fixed "Forall and Exists pretty symbols". Previous version was syntactically incorrect (missing space between "t" and comma) and very unpractical (not recursive, overriding "->" notation).

    @steffahn steffahn committed Jul 6, 2019
    332f79e

  • Updated CoqIde configuration to input special characters (markdown)

    @charguer charguer committed Jul 6, 2018
    dd79117

  • Updated CoqIde (markdown)

    @charguer charguer committed Jul 6, 2018
    5705d26