chore: update stage0 (#2992)

Updates stage-0 so that we can use import auto-completion ourselves.
leanprover · Nov 29, 2023 · 3025a4a · 3025a4a
1 parent 367ac01
commit 3025a4a
Show file tree

Hide file tree

Showing 81 changed files with 61,667 additions and 30,954 deletions.
diff --git a/stage0/src/Lean/Server/README.md b/stage0/src/Lean/Server/README.md
diff --git a/stage0/src/library/util.cpp b/stage0/src/library/util.cpp
diff --git a/stage0/src/runtime/io.cpp b/stage0/src/runtime/io.cpp
diff --git a/stage0/src/version.h.in b/stage0/src/version.h.in
diff --git a/stage0/stdlib/Init/Data/Array/Basic.c b/stage0/stdlib/Init/Data/Array/Basic.c
diff --git a/stage0/stdlib/Init/Data/Option/Basic.c b/stage0/stdlib/Init/Data/Option/Basic.c
diff --git a/stage0/stdlib/Init/System/FilePath.c b/stage0/stdlib/Init/System/FilePath.c
diff --git a/stage0/stdlib/Lean/Compiler/ExternAttr.c b/stage0/stdlib/Lean/Compiler/ExternAttr.c
diff --git a/stage0/stdlib/Lean/Compiler/IR/Basic.c b/stage0/stdlib/Lean/Compiler/IR/Basic.c