Skip to content

History / The lean.nvim Manual

Edit page New page

Revisions

  • Document infoview view option configuration.

    @Julian Julian committed Sep 28, 2024
    26a7ac2

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Sep 28, 2024
    ae932ad

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Sep 28, 2024
    a017814

  • Slightly tweak the ordering to be closer to the VSCode manual.

    @Julian Julian committed Sep 28, 2024
    98ce727

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Sep 28, 2024
    2d66071

  • We have 3 technically, not 2

    @Julian Julian committed Sep 14, 2024
    b0c7a12

  • ?editor is the query string parameter in GitPod for selecting an editor, so send users directly there.

    @Julian Julian committed Aug 29, 2024
    ea680c4

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 11, 2024
    3490633

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 11, 2024
    e616f09

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    10d7e40

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    b0ffb2a

  • Updated The `lean.nvim` Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    f5e0b0d

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    5c75c29

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    12e61c2

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    636e207

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 10, 2024
    4e36b51

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 9, 2024
    87f11b8

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Aug 9, 2024
    76ad4da

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jul 23, 2024
    a94a0c8

  • Wikis don't support footnotes, hooray.

    @Julian Julian committed Jul 21, 2024
    dc5ac9b

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jul 21, 2024
    1e15d9b

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jul 18, 2024
    f70f74a

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jul 7, 2024
    7bbf031

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jul 7, 2024
    92fdec6

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jun 28, 2024
    16add16

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jun 26, 2024
    4f8ffcf

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jun 26, 2024
    b6330b8

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jun 24, 2024
    4549d98

  • Section reordering to be less verbose at the start

    @Julian Julian committed Jun 24, 2024
    b5d9fcd

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jun 23, 2024
    5997709