Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on May 31, 2021

• Remove default textwidth setting.

  gebner

  committed
  37f863e

  Copy full SHA for 37f863e

Commits on Jan 2, 2021

• Merge pull request #11 from Julian/wildignore

  Show description for 313fd1e
  gebner

  authored
  313fd1e

  Copy full SHA for 313fd1e

Commits on Dec 30, 2020

• Ignore oleans by default in wildignore

  Julian

  committed
  4aae4ce

  Copy full SHA for 4aae4ce

Commits on Dec 15, 2020

• Set textwidth by default to mathlib's style recommendation.

  Show description for ae0eecc
  Julian

  committed
  ae0eecc

  Copy full SHA for ae0eecc

Commits on Oct 10, 2020

• matchpairs for term angle brackets

  Julian

  committed
  52529e9

  Copy full SHA for 52529e9

Commits on Oct 6, 2020

• includeexpr, even though I didn't implement parsing leanpkg.path for setting path.

  Julian

  committed
  ea844df

  Copy full SHA for ea844df

Commits on Sep 29, 2020

• Match sections too.

  Julian

  committed
  4926f6f

  Copy full SHA for 4926f6f

Commits on Sep 28, 2020

• Matchit.

  Julian

  committed
  8f48099

  Copy full SHA for 8f48099

Commits on Aug 24, 2020

• Define comments as 3 part.

  Show description for 5581d82
  Julian

  committed
  5581d82

  Copy full SHA for 5581d82

Commits on Aug 23, 2020

• mathlib at least seems to use 2 space indents.

  Julian

  committed
  e19c488

  Copy full SHA for e19c488

• Set comment characters.

  Julian

  committed
  90b6c72

  Copy full SHA for 90b6c72

Loading