chore: update stage0

leanprover · Nov 28, 2023 · e65dafc · e65dafc
1 parent ca4f83c
commit e65dafc
Show file tree

Hide file tree

Showing 87 changed files with 63,905 additions and 32,708 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/Option/Basic.c b/stage0/stdlib/Init/Data/Option/Basic.c
diff --git a/stage0/stdlib/Init/Prelude.c b/stage0/stdlib/Init/Prelude.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