chore: update stage0

leanprover · Jan 18, 2025 · 2694179 · 2694179
1 parent 70050c3
commit 2694179
Show file tree

Hide file tree

Showing 8 changed files with 1,093 additions and 457 deletions.
diff --git a/stage0/src/library/elab_environment.cpp b/stage0/src/library/elab_environment.cpp
diff --git a/stage0/stdlib/Lean/AddDecl.c b/stage0/stdlib/Lean/AddDecl.c
diff --git a/stage0/stdlib/Lean/Elab/BuiltinCommand.c b/stage0/stdlib/Lean/Elab/BuiltinCommand.c
diff --git a/stage0/stdlib/Lean/Elab/PreDefinition/Basic.c b/stage0/stdlib/Lean/Elab/PreDefinition/Basic.c