Sebastian Ullrich ddfbf6bf9b fix: show namespace when hovering over declaration name		2022-06-02 18:17:21 +02:00
..
bin	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
cmake
include/lean	fix: compiled string literals containing null bytes	2022-05-17 09:24:34 -07:00
Init	chore: synthetic := false by default at sorryAx	2022-05-31 18:08:10 -07:00
initialize
kernel	perf: efficient unsigned hash(expr const & e)	2022-03-15 07:15:00 -07:00
lake@d961d8cfaa	chore: update Lake	2022-03-21 14:50:54 +01:00
Lean	fix: show namespace when hovering over declaration name	2022-06-02 18:17:21 +02:00
library	fix: another specialize.cpp bug	2022-05-25 20:36:18 -07:00
runtime	fix: compiled string literals containing null bytes	2022-05-17 09:24:34 -07:00
shell	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
Std	chore: style	2022-04-07 17:35:05 -07:00
util	chore: define WIN32_LEAN_AND_MEAN	2022-04-06 09:38:19 +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: split Notation.lean	2022-05-09 05:20:19 -07:00
Lean.lean	refactor: move MonadLog	2022-05-31 16:50:48 -07:00
lean.mk.in
Leanc.lean	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01: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
version.h.in