Sebastian Ullrich 0b3e548672 fix: syntax tree returned by syntax elaborator		2021-08-10 12:02:04 +02:00
..
bin	feat: add --print-prefix, --print-libdir flags	2021-06-11 17:53:51 -07:00
cmake
include/lean	feat: try memory-mapping .olean files on Windows	2021-08-04 16:40:57 +02:00
Init	fix: protect rfl	2021-08-07 13:25:54 -07:00
initialize	chore: document io_mark_end_initialization setup	2021-06-13 17:32:35 -07:00
kernel	perf: change is_def_eq_proof_irrel type to lbool	2021-07-26 07:11:55 -07:00
Lean	fix: syntax tree returned by syntax elaborator	2021-08-10 12:02:04 +02:00
Leanpkg	chore: fix stdlib	2021-08-06 12:58:58 -07:00
library	fix: fixes #616	2021-08-07 07:29:54 -07:00
runtime	feat: try memory-mapping .olean files on Windows	2021-08-04 16:40:57 +02:00
shared
shell	chore: remove file_lock.h	2021-08-04 16:40:57 +02:00
Std	chore: enforce naming convention for theorems	2021-08-07 12:48:38 -07:00
util	chore: remove file_lock.h	2021-08-04 16:40:57 +02:00
CMakeLists.txt	chore: add bcrypt in CMakeLists	2021-07-24 10:45:28 +02:00
config.h.in	chore: document simplified object header and remove obsolete cmake options	2021-07-20 10:42:28 -07:00
githash.h.in
Init.lean	fix: Not should not be reducible, special support for Ne	2021-02-15 17:36:11 -08:00
Lean.lean
lean.mk.in	feat: atomically (re-)create .olean files	2021-08-04 16:40:57 +02:00
Leanpkg.lean	fix: IO.Error.alreadyExists may have an optional file name	2021-07-27 07:00:06 -07:00
Std.lean	chore: move nondet to Std/Control/Nondet.lean	2021-03-02 07:57:25 -08:00
stdlib.make.in	chore: restore prefer_native flag	2021-06-21 10:17:26 -07:00
version.h.in