Leonardo de Moura b1d097e63a feat(library/init/meta): add 'delta' tactic for applying delta reduction ... closes #1331		2017-01-26 19:04:07 -08:00
..
api	chore(*): fix style	2016-12-20 11:31:00 -08:00
cmake	chore(CMakeLists): remove unused modules	2017-01-05 18:08:59 -08:00
emacs	fix(emacs/lean-info): do not update info windows during text selection	2017-01-25 18:33:19 -08:00
frontends	fix(library/vm): make sure vm_rb_map objects can be stored in ts_vm_obj	2017-01-26 15:58:11 -08:00
init	feat(*): C++ code generator	2016-12-05 16:11:41 -08:00
kernel	chore(kernel/quotient/quotient): remove leftover	2017-01-26 13:05:09 -08:00
library	feat(library/init/meta): add 'delta' tactic for applying delta reduction	2017-01-26 19:04:07 -08:00
shared	fix(shared/init): shared library initialization	2016-12-05 16:48:29 -08:00
shell	refactor(frontends/lean): interactive tactic support	2017-01-21 22:38:47 -08:00
tests	chore(tests/shell/shell): style	2017-01-13 07:39:06 -08:00
util	fix(library/vm): make sure vm_rb_map objects can be stored in ts_vm_obj	2017-01-26 15:58:11 -08:00
vim	fix(vim/syntax): update to lean 3 syntax	2016-10-30 08:42:05 +08:00
CMakeLists.txt	chore(CMakeLists): do not use TCMALLOC by default	2017-01-23 11:03:14 -08:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in
memcheck.supp
version.h.in