Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jul 19, 2024

• import aligns from mathlib4

  digama0

  committedJul 19, 2024
  f3e7b3f

Commits on Jul 18, 2024

• fix: isDefEq has a memory leak I guess

  digama0

  committedJul 18, 2024
  71c3fb7

Commits on Jul 1, 2024

• chore: bump lean

  digama0

  committedJul 1, 2024
  ee926a2

Commits on Jun 10, 2024

• chore: bump lean

  digama0

  committedJun 10, 2024
  a568b02

Commits on May 6, 2024

• chore: update lean

  digama0

  committedMay 6, 2024
  43c75e9

Commits on Apr 2, 2024

• fix: more fixes to importRename

  digama0

  committedApr 2, 2024
  9284353

Commits on Mar 27, 2024

• fix: better importRename support

  digama0

  committedMar 27, 2024
  407b94a

Commits on Mar 22, 2024

• fix: duplicate files

  digama0

  committedMar 22, 2024
  8214ae6

Commits on Sep 23, 2023

• chore: line wrap, remove dead code

  digama0

  committedSep 23, 2023
  e1d5a1b

Commits on Sep 19, 2023

• chore: update lean

  digama0

  committedSep 19, 2023
  3165c97

Commits on May 25, 2023

• feat: add support for relative imports

  digama0

  committedMay 25, 2023
  f728313

Commits on May 24, 2023

• chore: update deps 05-22

  digama0

  committedMay 24, 2023
  debdf4c

Commits on Feb 14, 2023

• fix: add timeout to defeq

  gebner

  committedFeb 14, 2023
  b515f2f

Commits on Dec 21, 2022

• chore: bump to 2022-12-20

  gebner

  committedDec 21, 2022
  6be4dae

Commits on Nov 3, 2022

• feat: indicate replacements in synport output (#198)

  digama0

  committedNov 3, 2022
  21d45f0

Commits on Oct 24, 2022

• feat: add "oneshot" configuration

  digama0

  committedOct 24, 2022
  72b856e

Commits on May 3, 2022

• chore: run in multiple processes

  gebner

  committedMay 3, 2022
  b08c6b0

• chore: increase heartbeats

  gebner

  committedMay 3, 2022
  f43abdf

• chore: bump to nightly-2022-05-03

  gebner

  committedMay 3, 2022
  4daaa4e

Commits on Apr 29, 2022

• fix: only add ranges for decl in current module

  gebner

  committedApr 29, 2022
  5f554a6

Commits on Feb 22, 2022

• chore: increase heartbeats

  gebner

  committedFeb 22, 2022
  50a213d

Commits on Feb 21, 2022

• chore: increase heartbeats

  gebner

  committedFeb 21, 2022
  3b99251

Commits on Feb 19, 2022

• chore: simplify mathport invocation

  gebner

  committedFeb 19, 2022
  2e19b10

Commits on Feb 7, 2022

• chore: bump to nightly-2022-02-06

  digama0

  committedFeb 7, 2022
  83b0a17

Commits on Jan 17, 2022

• Increase heartbeats.

  gebner

  committedJan 17, 2022
  c87b8ac

Commits on Dec 22, 2021

• chore: print progress message to stderr

  gebner

  committedDec 22, 2021
  5f3937c

Commits on Dec 15, 2021

• fix: do not run mkdir in parallel

  gebner

  committedDec 15, 2021
  75aac5b

Commits on Nov 17, 2021

• feat: initial attempt at CI

  

  semorrison

  authored and

  dselsam

  committedNov 17, 2021
  a78f4d4

Commits on Nov 11, 2021

• refactor: rm Lib4, new dir for lean4 packages

  dselsam

  committedNov 11, 2021
  ad83ed7

Commits on Nov 8, 2021

• chore: finally rm mathport dependency

  dselsam

  committedNov 8, 2021
  2a4881c

Commits on Oct 6, 2021

• feat: import Mathlib explicitly

  dselsam

  committedOct 6, 2021
  b8fef29

Commits on Sep 29, 2021

• fix: many minor naming consistency issues

  dselsam

  committedSep 29, 2021
  b911b90

Commits on Sep 27, 2021

• refactor: depend on Mathlib4

  dselsam

  committedSep 27, 2021
  5c1563b

Commits on Sep 23, 2021

• refactor: set lake binRoot to avoid two different packages

  dselsam

  committedSep 23, 2021
  b7481b0

Commits on Sep 11, 2021

• refactor: split into Lib and App

  dselsam

  committedSep 11, 2021
  f049b56

Pagination

PreviousNext