Sebastian Ullrich a2ccf8f122 feat: accept keywords as constructor names		2022-07-28 12:46:28 -07:00
..
bin	chore: lean-gdb: recursive values & tag	2022-06-26 18:47:47 +02:00
cmake
include/lean	fix: compiled string literals containing null bytes	2022-05-17 09:24:34 -07:00
Init	feat: allow relations in Type at Trans	2022-07-28 10:13:01 -07:00
initialize
kernel	perf: improve lazy_delta_reduction_step heuristic	2022-07-24 11:48:45 -07:00
lake@dcf8e1fc40	chore: update Lake	2022-07-25 08:52:00 +02:00
Lean	feat: accept keywords as constructor names	2022-07-28 12:46:28 -07:00
library	fix: elim_scalar_array_cases	2022-07-24 14:46:46 -07:00
runtime	fix: lean_float_array_data	2022-07-24 17:05:28 -07:00
shell	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
Std	fix: add Inhabited Std.RBMap	2022-07-25 08:01:27 -07:00
util	feat: forward all args to server	2022-07-28 15:58:32 +02:00
CMakeLists.txt	chore: add option to exclude 'LICENSE' files from 'make install'	2022-05-25 12:39:30 +02:00
config.h.in
githash.h.in
Init.lean	chore: remove Fix.lean	2022-06-16 15:30:47 -07:00
Lean.lean	feat: add [deprecated] attribute	2022-07-24 18:06:03 -07:00
lean.mk.in
Leanc.lean	chore: unused variable warningns	2022-07-09 07:52:59 -07:00
Std.lean
stdlib.make.in	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
stdlib_flags.h	chore: default pp.rawOnError to true for stage 0	2022-06-27 22:37:02 +02:00
version.h.in