Leonardo de Moura a5ab59a413 fix: fixes #1851		2022-11-19 07:01:02 -08:00
..
bin	chore: lean-gdb: recursive values & tag	2022-06-26 18:47:47 +02:00
cmake
include/lean	fix: bug at lean_string_utf8_get_fast	2022-11-09 16:58:20 -08:00
Init	doc: document Init.Data.List.Basic (#1828)	2022-11-18 06:16:50 -08:00
initialize	chore: remove Bootstrap package	2022-09-02 16:39:03 -07:00
kernel	chore: remove remnants of C++ format	2022-11-18 06:11:24 -08:00
lake@7264961e9f	feat: Min/Max typeclasses	2022-10-21 14:36:38 -07:00
Lean	fix: fixes #1851	2022-11-19 07:01:02 -08:00
library	fix: inconsistent use of precompiled symbols from interpreter on Windows	2022-11-18 06:16:05 -08:00
runtime	fix: integer overflows	2022-11-15 07:37:54 -08:00
shell	chore: remove stray STATIC in src/shell (#1736)	2022-10-15 14:27:13 +02:00
util	chore: remove remnants of C++ format	2022-11-18 06:11:24 -08:00
CMakeLists.txt	chore: remove Bootstrap package	2022-09-02 16:39:03 -07:00
config.h.in
githash.h.in
Init.lean	chore: move Bootstrap.Dynamic -> Init.Dynamic	2022-09-02 04:36:54 -07:00
Lean.lean	feat: add linter.deprecated option to silence deprecation warnings	2022-10-23 21:11:57 +02:00
lean.mk.in
Leanc.lean	chore: unused variable warningns	2022-07-09 07:52:59 -07:00
stdlib.make.in	chore: abort build on panic	2022-11-11 16:24:04 +01:00
stdlib_flags.h	chore: parseQuotWithCurrentStage and quotPrecheck	2022-11-11 13:45:41 +01:00
version.h.in