Sebastian Ullrich 67c78ef1b7 fix: exclude synthetic syntax from hover/definition		2021-01-20 16:48:50 +01:00
..
bin	fix: leanc should not depend on ccache or cmake g++	2021-01-09 23:02:48 +01:00
cmake	chore: delete more CMake cruft	2020-10-14 19:08:06 +02:00
include/lean	chore: debug assertion	2021-01-20 16:48:50 +01:00
Init	chore: naming	2021-01-20 16:48:50 +01:00
initialize	chore: remove old frontend, equation compiler and tactics from build	2020-10-25 10:20:30 -07:00
kernel	chore: remove dead code	2021-01-05 18:36:27 -08:00
Lean	fix: exclude synthetic syntax from hover/definition	2021-01-20 16:48:50 +01:00
Leanpkg	chore: leanpkg: secondary output to stderr	2021-01-19 19:06:01 +01:00
library	fix: fixes #280	2021-01-19 18:01:52 -08:00
runtime	feat: Nix: support leanpkg print-paths setup	2021-01-19 19:06:01 +01:00
shared
shell	fix: pass (some) cmdline arguments to watchdog and workers	2021-01-17 15:06:11 +01:00
Std	refactor: Repr	2020-12-18 11:21:30 -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: Nix: support leanpkg print-paths setup	2021-01-19 19:06:01 +01:00
Std.lean
stdlib.make.in	fix: stdlib.make	2021-01-10 18:10:22 +01:00
version.h.in	feat: version information API	2020-12-29 14:42:48 -08:00