Skip to content

History

New page

Revisions

  • Rely on `nobuflisted` for filtering infoviews.

    @Julian Julian committed Feb 5, 2025
    129dc17

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jan 17, 2025
    cf94120

  • Add a bit on syntax highlighting and document highlighting. Refs: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/lean.2Envim/near/491389017

    @Julian Julian committed Jan 17, 2025
    6d71e01

  • Updated The lean.nvim Manual (markdown)

    @Julian Julian committed Jan 17, 2025
    2004c54

  • 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

  • Updated Home (markdown)

    @Julian Julian committed Sep 24, 2024
    98f8392

  • Updated Home (markdown)

    @Julian Julian committed Sep 24, 2024
    ad82695

  • 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 Getting Started From the Ground Up (markdown)

    @Julian Julian committed Aug 11, 2024
    faae194

  • Updated Home (markdown)

    @Julian Julian committed Aug 11, 2024
    29929b4

  • 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 Getting Started From the Ground Up (markdown)

    @Julian Julian committed Aug 5, 2024
    527af44

  • 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