Skip to content

History

New page

Revisions

  • Created Switch next in current line (markdown)

    @mg979 mg979 committed Sep 20, 2021
    2500138

  • Updated Home (markdown)

    Andrew Radev committed Sep 19, 2021
    6688b04

  • Updated Home (markdown)

    Andrew Radev committed Sep 19, 2021
    5777d77

  • Updated Switching booleans anywhere on the line and returning to original cursor position (markdown)

    @gerazov gerazov committed Apr 26, 2021
    40c85da

  • Created Switching booleans anywhere on the line and returning to original cursor position (markdown)

    @gerazov gerazov committed Apr 26, 2021
    2d20240

  • Add a link to the Lean switch definitions wiki page

    @Julian Julian committed Feb 4, 2021
    1864cea

  • Add a Wiki page for Lean

    @Julian Julian committed Feb 4, 2021
    fe3516b

  • Add definition for <Bar>↔\|

    @TSFoster TSFoster committed May 26, 2020
    73e1e51

  • Add link to page for vim switches

    @TSFoster TSFoster committed May 26, 2020
    5ee01d3

  • Updated Vim script settings and maps (markdown)

    @TSFoster TSFoster committed May 26, 2020
    3f1d182

  • Add page for vim switches

    @TSFoster TSFoster committed May 26, 2020
    96988e9

  • drop is another command that can be prepended to a commit hash in a gitrebase file

    @TSFoster TSFoster committed May 26, 2020
    1120c35

  • Created Markdown checkboxes (markdown)

    @akarzim akarzim committed May 23, 2020
    aa16498

  • Created React props (markdown)

    Andrew Radev committed Feb 25, 2020
    6f03d32

  • Updated Home (markdown)

    Andrew Radev committed Feb 25, 2020
    997bcce

  • Updated Home (markdown)

    @AndrewRadev AndrewRadev committed May 21, 2016
    9cad92b

  • Created Git interactive rebase Strings (markdown)

    @maxfl maxfl committed Nov 16, 2015
    8c44b83

  • add git rebase strings

    @maxfl maxfl committed Nov 16, 2015
    d3a55ce

  • Created LaTeX Strings (markdown)

    @maxfl maxfl committed Nov 16, 2015
    7d8f122

  • add latex strings

    @maxfl maxfl committed Nov 16, 2015
    821535c

  • Updated Home (markdown)

    @AndrewRadev AndrewRadev committed Jan 17, 2015
    f6e6e70

  • Updated Home (markdown)

    @AndrewRadev AndrewRadev committed Jan 17, 2015
    542717c

  • Updated ErlangStrings.md (markdown)

    @AndrewRadev AndrewRadev committed Jan 17, 2015
    21dee3f

  • Created ErlangStrings.md (markdown)

    @AndrewRadev AndrewRadev committed Jan 17, 2015
    5f66a85

  • Initial Home page

    @AndrewRadev AndrewRadev committed Jan 17, 2015
    50f4db6