Leonardo de Moura c0e6314f14 fix(library/init/meta,library/tactic/elaborate): bad error position when to_expr is used outside of interactive mode		2017-02-09 18:44:50 -08:00
..
api	feat(kernel,library,frontends/lean,api): remove global universe levels from kernel and APIs	2017-02-08 17:41:44 -08:00
checker	feat(kernel,library,frontends/lean,api): remove global universe levels from kernel and APIs	2017-02-08 17:41:44 -08:00
cmake	feat(checker): add simple pretty-printing	2017-01-31 10:20:55 +01:00
emacs	feat(util): "deterministic timeout" option	2017-02-07 13:56:12 -08:00
frontends	fix(frontends/lean, library/tactic): error position in auto quoted terms	2017-02-09 18:03:04 -08:00
init	feat(*): C++ code generator	2016-12-05 16:11:41 -08:00
kernel	feat(kernel,library,frontends/lean,api): remove global universe levels from kernel and APIs	2017-02-08 17:41:44 -08:00
library	fix(library/init/meta,library/tactic/elaborate): bad error position when to_expr is used outside of interactive mode	2017-02-09 18:44:50 -08:00
shared	fix(shared/init): shared library initialization	2016-12-05 16:48:29 -08:00
shell	feat(shell/server): add sleep commands for creating repros	2017-02-08 10:12:00 -08:00
tests	feat(frontends/lean): no global universes in the frontend	2017-02-08 17:23:04 -08:00
util	chore(util/buffer): use std::move	2017-02-09 13:51:33 -08:00
vim	fix(vim/syntax): update to lean 3 syntax	2016-10-30 08:42:05 +08:00
CMakeLists.txt	feat(library/sorry): make sorry a macro	2017-02-05 14:01:03 +01:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in
memcheck.supp
version.h.in