Leonardo de Moura cb8c1368b4 chore: remove workaround		2021-02-05 18:11:31 -08:00
..
bin	chore: leanc: do not pass linking flags when not linking	2021-01-30 18:49:09 +01:00
cmake
include/lean	fix: Int.mod implementation in the runtime	2021-01-31 08:50:06 -08:00
Init	chore: remove = true old workarounds	2021-02-05 13:48:03 -08:00
initialize
kernel	chore: remove id_delta (aka idDelta)	2021-02-02 13:59:37 -08:00
Lean	chore: remove workaround	2021-02-05 18:11:31 -08:00
Leanpkg	chore: leanpkg: secondary output to stderr	2021-01-19 19:06:01 +01:00
library	fix: inline loop	2021-02-04 17:17:51 -08:00
runtime	fix: fixes #303	2021-02-05 07:53:18 -08:00
shared
shell	fix: pass (some) cmdline arguments to watchdog and workers	2021-01-17 15:06:11 +01:00
Std	feat: add ForIn type class	2021-02-04 17:59:44 -08:00
tests/util
util	chore: remove --json option	2021-01-12 09:51:14 -08:00
CMakeLists.txt	chore: remove --json option	2021-01-12 09:51:14 -08:00
config.h.in	feat: version information API	2020-12-29 14:42:48 -08:00
githash.h.in
Init.lean	feat: simpArrow	2021-01-01 17:15:15 -08:00
Lean.lean	feat: environment extension for storing declaration ranges	2021-01-10 18:25:56 -08:00
lean.mk.in	feat: basic port of leanpkg	2020-12-29 14:42:48 -08:00
Leanpkg.lean	feat: generalize leanpkg build	2021-01-25 17:07:08 -08:00
Std.lean
stdlib.make.in	fix: that's not how Makefiles work	2021-01-27 12:34:48 +01:00
version.h.in	feat: version information API	2020-12-29 14:42:48 -08:00