Soonho Kong 36c632f48d doc(emacs/README.md): clean up ... [skip ci]		2014-08-29 15:22:06 -07:00
..
cmake	feat(build): add build option for jemalloc	2014-07-22 13:44:47 -07:00
emacs	doc(emacs/README.md): clean up	2014-08-29 15:22:06 -07:00
frontends	fix(frontends/lean): wrong displayed type in proof with multiple sorry's, fixes #112	2014-08-29 14:32:53 -07:00
kernel	fix(kernel/converter): missing case	2014-08-28 15:21:57 -07:00
library	fix(frontends/lean): wrong displayed type in proof with multiple sorry's, fixes #112	2014-08-29 14:32:53 -07:00
shell	feat(shell): remove --permissive option, closes #107	2014-08-29 13:26:07 -07:00
tests	refactor(*): use + for concatenating format objects	2014-08-24 09:35:25 -07:00
util	fix(frontends/let): let-expression pretty printer	2014-08-29 10:58:27 -07:00
CMakeLists.txt	feat(build): invoke linja from lean build	2014-08-29 12:15:07 -07:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in
memcheck.supp
version.h.in