tydeu 8de1c0786c chore: make Lean build shell configurable		2023-08-07 23:05:37 +02:00
..
bin	chore: update stage0	2022-06-28 11:50:59 +02:00
cmake
include/lean	chore: update stage0	2023-01-03 14:14:50 -08:00
initialize	chore: update stage0	2023-07-25 11:03:16 +02:00
kernel	chore: update stage0	2023-07-25 11:03:16 +02:00
Lean/Server	chore: update stage0	2022-11-20 10:48:22 -08:00
library	chore: update stage0	2023-07-25 11:03:16 +02:00
runtime	chore: update stage0	2023-07-25 11:03:16 +02:00
shell	chore: update stage0	2023-07-25 11:03:16 +02:00
util	chore: update stage0	2023-07-25 11:03:16 +02:00
CMakeLists.txt	chore: update stage0	2023-07-25 11:03:16 +02:00
config.h.in	chore: update stage0	2021-07-20 10:42:28 -07:00
githash.h.in
lean.mk.in	chore: update stage0	2022-11-24 12:57:43 -08:00
stdlib.make.in	chore: make Lean build shell configurable	2023-08-07 23:05:37 +02:00
stdlib_flags.h	chore: update stage0	2023-06-02 16:19:02 +02:00
version.h.in