Sebastian Ullrich 0a40269fcb fix: build with mingw-clang64 clang		2021-11-18 09:42:35 +01:00
..
bin	chore: fix leanc.sh -v	2021-11-18 09:42:35 +01:00
cmake
include/lean	chore: avoid C++ warning	2021-11-18 09:42:35 +01:00
Init	feat: String.replace	2021-11-18 09:42:35 +01:00
initialize	fix: dllexport functions not already annotated in header	2021-09-20 18:41:46 +02:00
kernel	feat: basic support for definitions at inductive declarations	2021-10-25 12:44:35 -07:00
lake@10a66592f7	chore: update Lake	2021-11-11 09:38:42 +01:00
Lean	fix: emit info tree on command without elaborator	2021-11-16 10:44:17 +01:00
Leanpkg	chore: fix stdlib	2021-08-06 12:58:58 -07:00
library	chore: use empty string for --githash instead of weird "GITDIR-NOTFOUND" when not building from commit	2021-11-04 15:29:48 -07:00
runtime	fix: build with mingw-clang64 clang	2021-11-18 09:42:35 +01:00
shell	chore: fix foreign test on macOS, again	2021-11-18 09:42:35 +01:00
Std	feat: add RBTree.toArray	2021-09-17 15:59:35 -07:00
util	fix: pass --trust to frontend	2021-11-11 08:39:53 +01:00
CMakeLists.txt	feat: upload .tar.zst and .zip for every platform	2021-11-18 09:42:35 +01: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	chore: remove enum command	2021-09-06 12:01:37 -07:00
Lean.lean	feat: pretty-printer with tags	2021-08-24 08:57:41 -07:00
lean.mk.in	fix: macOS build, once more	2021-10-09 10:24:30 +02:00
Leanc.lean	chore: fix foreign test on macOS, again	2021-11-18 09:42:35 +01:00
Leanpkg.lean	chore: server: use exit code to communicate absence of package	2021-10-15 06:56:02 -07:00
Std.lean	chore: remove Nondet.lean	2021-09-07 17:36:20 -07:00
stdlib.make.in	feat: build & bundle Lake	2021-10-15 06:56:02 -07:00
stdlib_flags.h	Revert "chore: prefer native"	2021-10-26 20:19:27 +02:00
version.h.in	feat: version information API	2020-12-29 14:42:48 -08:00