Commits

Breadcrumbs

History for

on2b63991

User selector

All users

All time

Commit History

Commits on Oct 20, 2025

• chore(README): add linters to Damiano's interests (#30715)

  Show description for b744c7b
  grunweg

  committed
  b744c7b

  Copy full SHA for b744c7b

Commits on Oct 15, 2025

• doc(README): add Michael Rothgang to the maintainer list (#30588)

  grunweg

  committed
  6b1d0f0

  Copy full SHA for 6b1d0f0

Commits on Jun 17, 2025

• chore(README): update interests (#26025)

  mattrobball

  committed
  b357cba

  Copy full SHA for b357cba

Commits on Jun 12, 2025

• chore: update `README.md` with new contribution process (#25810)

  Show description for 41813ea
  mattrobball

  committed
  41813ea

  Copy full SHA for 41813ea

Commits on May 5, 2025

• fix: display the correct ci status badge (#24603)

  Show description for 6bab277
  

  blizzard_inc

  committed
  6bab277

  Copy full SHA for 6bab277

Commits on Apr 9, 2025

• chore: move past maintainers in README (#23865)

  kim-em

  committed
  a2015ac

  Copy full SHA for a2015ac

Commits on Dec 13, 2024

• chore: add badge to open mathlib in Codespaces (#19927)

  robertylewis

  committed
  efc0961

  Copy full SHA for efc0961

Commits on Dec 3, 2024

• chore: update username in maintainer list (#19702)

  kim-em

  committed
  8a8d499

  Copy full SHA for 8a8d499

Commits on Nov 28, 2024

• doc: update README.md instructions for building documentation locally (#18713)

  Show description for 9d44280
  dwrensha

  committed
  9d44280

  Copy full SHA for 9d44280

Commits on Nov 15, 2024

• doc: add adomani to maintainer list in README.md (#19072)

  adomani

  committed
  3805203

  Copy full SHA for 3805203

Commits on Oct 6, 2024

• docs: broken link (#17443)

  madvorak

  committed
  bc87839

  Copy full SHA for bc87839

Commits on Jul 18, 2024

• doc(README): Link to Gitpod (#14861)

  Show description for a0e7e34
  YaelDillies

  committed
  a0e7e34

  Copy full SHA for a0e7e34

Commits on Jul 10, 2024

• docs(README): Rename "Emeritus maintainers" to "Past maintainers" (#14615)

  Show description for 3162e25
  Vierkantor

  committed
  3162e25

  Copy full SHA for 3162e25

Commits on Jul 9, 2024

• Remove Chris Hughes from maintainer list (#14207)

  Show description for 69ea8a2
  ChrisHughes24

  committed
  69ea8a2

  Copy full SHA for 69ea8a2

Commits on Jul 5, 2024

• chore(README): fix docs for building documentation locally (#14114)

  kim-em

  committed
  215c891

  Copy full SHA for 215c891

Commits on Jun 25, 2024

• doc: recommend `lake exe mk_all` in the README (#13656)

  Show description for aa7dfcd
  grunweg

  committed
  aa7dfcd

  Copy full SHA for aa7dfcd

• chore(README): updates (#14112)

  kim-em

  committed
  397d878

  Copy full SHA for 397d878

• chore(README): fix advice about updating dependencies (#14109)

  kim-em

  committed
  a8bd217

  Copy full SHA for a8bd217

• chore(README): update maintainers (#14111)

  kim-em

  committed
  dc8cf8b

  Copy full SHA for dc8cf8b

Commits on Apr 11, 2024

• chore: add @kbuzzard as maintainer in README.md (#12063)

  kbuzzard

  committed
  70601d4

  Copy full SHA for 70601d4

Commits on Feb 5, 2024

• Focus post-installation steps in the README (#7441)

  Show description for 7bcc504
  pevogam

  committed
  7bcc504

  Copy full SHA for 7bcc504

Commits on Dec 26, 2023

• docs: kmill update areas (#9289)

  kmill

  committed
  a8d482d

  Copy full SHA for a8d482d

Commits on Nov 28, 2023

• fix: CI badge appears twice in readme (#8689)

  robertylewis

  committed
  d6652f7

  Copy full SHA for d6652f7

Commits on Nov 23, 2023

• doc: update bors link (#8588)

  alexjbest

  committed
  40cf206

  Copy full SHA for 40cf206

Commits on Sep 25, 2023

• chore: add @mattrobball to maintainer list (#7358)

  Show description for 0fd376a
  mattrobball

  committed
  0fd376a

  Copy full SHA for 0fd376a

Commits on Sep 24, 2023

• chore: fix docgen link in readme (#7354)

  Show description for 3a62351
  alexjbest

  committed
  3a62351

  Copy full SHA for 3a62351

Commits on Aug 4, 2023

• README: Zulip no longer needs registration (#6332)

  Show description for acfe2e4
  nomeata

  committed
  acfe2e4

  Copy full SHA for acfe2e4

• chore: add @joelriou as maintainer in README.md (#6358)

  joelriou

  committed
  72ea277

  Copy full SHA for 72ea277

Commits on Jul 27, 2023

• doc: add ADedecker to maintainer list (#6179)

  ADedecker

  committed
  07c5e81

  Copy full SHA for 07c5e81

Commits on Jul 26, 2023

• doc: add j-loreaux to maintainer list (#6166)

  j-loreaux

  committed
  69b4a40

  Copy full SHA for 69b4a40

• doc: merge mathlib3 and mathlib4 `README`s (#6160)

  Show description for d699fa4
  j-loreaux

  committed
  d699fa4

  Copy full SHA for d699fa4

Commits on Jun 27, 2023

• chore: improve instructions in README (#5503)

  Show description for 3cb782e
  kim-em

  committed
  3cb782e

  Copy full SHA for 3cb782e

Commits on Jun 18, 2023

• doc: add link to mathlib4 docs in README.md (#5156)

  Show description for 9512e02
  dwrensha

  committed
  9512e02

  Copy full SHA for 9512e02

Commits on Jun 7, 2023

• doc: fix `lake new` incantation in readme (#4724)

  Kha

  committed
  83a4c1c

  Copy full SHA for 83a4c1c

Commits on May 16, 2023

• doc: revamp "Using `mathlib4` as a dependency" (#4008)

  Kha

  committed
  1c09f07

  Copy full SHA for 1c09f07

Pagination

Previous

Next